Sylvain Gauthier a6157d5d8e [SMP] Abstracted IRQ indexing to handle PPIs ... irq_t is now a "virtual" interrupt type that encapsulates the information of the core in case of a private interrupt. There is a couple of macros that need to be defined on the interrupt controller level to translate between virtual and hardware IRQs.		2019-07-19 16:37:03 +10:00
..
preemption.h	Release snapshot	2014-07-18 05:03:59 +10:00
smp.h	Move PAD_TO_NEXT_CACHE_LN to util.h	2018-01-09 10:10:16 +11:00
statedata.h	[SMP] Abstracted IRQ indexing to handle PPIs	2019-07-19 16:37:03 +10:00