Searched refs:ioapic_map_pin_to_vector (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
| H A D | ioapic.h | 26 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
|
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 149 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, function
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 72 ioapic_map_pin_to_vector(ioapic, pin, level, polarity, vector);
|
Completed in 29 milliseconds