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

/seL4-refos-master/kernel/include/plat/pc99/plat/machine/
H A Dioapic.h14 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin);
H A Dinterrupt.h127 ioapic_mask(disable, ioapic, pin);
/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c87 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) function

Completed in 28 milliseconds