IRQ_CNODE_SLOT_BITS (reference) in projects: seL4-master

Searched refs:IRQ_CNODE_SLOT_BITS (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/model/
A D	statedata.c	`80 cte_t intStateIRQNode[BIT(IRQ_CNODE_SLOT_BITS)] ALIGN(BIT(IRQ_CNODE_SLOT_BITS + seL4_SlotBits));`
/seL4-master/include/plat/pc99/plat/
A D	machine.h	`17 #define IRQ_CNODE_SLOT_BITS 8 macro`
/seL4-master/src/arch/arm/
A D	platform_gen.h.in	`20 #define IRQ_CNODE_SLOT_BITS (@CONFIGURE_IRQ_SLOT_BITS@) macro`
/seL4-master/src/arch/riscv/
A D	platform_gen.h.in	`44 #define IRQ_CNODE_SLOT_BITS (@CONFIGURE_IRQ_SLOT_BITS@) macro`

Completed in 3 milliseconds