Searched refs:ioapic_decode_map_pin_to_vector (Results 1 - 3 of 3) sorted by relevance
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
H A D | ioapic.h | 18 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector); 20 * any checks, use ioapic_decode_map_pin_to_vector first */
|
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | ioapic.c | 106 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, function
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 140 status = ioapic_decode_map_pin_to_vector(ioapic, pin, level, polarity, vector);
|
Completed in 26 milliseconds