Searched defs:PPTR_IOAPIC_START (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/
H A Ddevices.h13 #define PPTR_IOAPIC_START (PPTR_APIC + BIT(PAGE_BITS)) macro

Completed in 27 milliseconds