seL4/include/arch
Hesham Almatary b8f9dcac64 ARM/IRQ: add a function to initialise local IRQ controller for CPUs
Similar to initIRQController(), cpu_initLocalIRQController() has to
be implemented for each platform. For those that are gonna support
SMP, it should be implemented proprely (if required), otherwise
it can be stubbed for single core implementations.
2017-02-28 13:39:49 +11:00
..
arm ARM/IRQ: add a function to initialise local IRQ controller for CPUs 2017-02-28 13:39:49 +11:00
x86/arch Remove assumption on 32-bit memory offsets 2017-02-28 08:28:01 +11:00