Add PIC support for IPIs. When registering an interrupt handler,
the PIC also informs the platform at which IRQ level it can start
assigning IPIs, since this can depend on the number of IRQs
supported for external interrupts.
Description
Description
Details
Details
- Provenance
marcel Authored on - Parents
- rS176207: Fix remainder() and remainderf() in round-towards-minus-infinity mode
- Branches
- Unknown
- Tags