int HAL_IRQSetCores(int device, int mask)
Entry | |
---|---|
device | Interrupt device number |
mask | Mask of which CPU cores to route interrupt to |
Exit | |
---|---|
- | Returns new CPU core mask |
This is an internal call for OS use only and should not be used by user software.
Set the IRQ routing for the given interrupt; bit N of mask should be set if the interrupt is to be routed to core N.
Returns the new mask, which may be different to what was requested.
Currently there is no equivalent call allocated for FIQ routing (it’s expected FIQs will have fixed routing)
To avoid race conditions with active interrupt handlers, this call is for kernel use only. Other components which need to manually manage IRQ routing must do so via the SWI interface (TBD)