Showing changes from revision #0 to #1:
Added | Removed | Changed
int HAL_IRQMax(void)
Entry | |
---|---|
- |
Exit | |
---|---|
- | Returns the highest valid IRQ device number, plus one |
This call is used by the OS to determine the highest IRQ device number supported by the HAL/hardware. For example, if the IRQ controller in the device has 32 interrupt sources, and the HAL numbers them sequentially starting from zero, then HAL_IRQMax should return 32.