Searched refs:IOREDTBL_HIGH_RESERVED_BITS (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c33 #define IOREDTBL_HIGH_RESERVED_BITS 24 macro
64 IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS)) | (delivery_cpu << IOREDTBL_HIGH_RESERVED_BITS));
154 ioredtbl_high = ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS);
156 ioredtbl_high |= (ioapic_target_cpu << IOREDTBL_HIGH_RESERVED_BITS);

Completed in 21 milliseconds