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

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dioapic.h19 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin);
H A Dinterrupt.h137 ioapic_mask(disable, ioapic, pin);
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c90 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) function

Completed in 133 milliseconds