Searched defs:ioapic (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
| H A D | interrupt.h | 125 uint32_t ioapic = x86_irq_state_irq_ioapic_get_id(state); local
|
| /seL4-l4v-master/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 42 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) argument
47 static uint32_t ioapic_read(uint32_t ioapic, word_t reg) argument
52 static void single_ioapic_init(word_t ioapic, cpu_id_t delivery_cpu) argument
77 uint32_t ioapic; local
87 ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument
106 ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
146 ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
[all...] |
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 60 static exception_t invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, argument
135 word_t ioapic = getSyscallArg(2, buffer); local
|
Completed in 63 milliseconds