int HAL_IRQGetCores(int device)
Entry | |
---|---|
device | Interrupt device number |
Exit | |
---|---|
- | Returns current CPU core mask |
This is an internal call for OS use only and should not be used by user software.
Returns the current IRQ routing for the given device
Currently there is no equivalent call allocated for FIQ routing (it’s expected FIQs will have fixed routing)