Searched refs:ioapic (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 16 #include <plat/machine/ioapic.h>
46 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) argument
48 *(volatile uint32_t*)((word_t)(PPTR_IOAPIC_START + ioapic * BIT(PAGE_BITS)) + reg) = value;
51 static uint32_t ioapic_read(uint32_t ioapic, word_t reg) argument
53 return *(volatile uint32_t*)((word_t)(PPTR_IOAPIC_START + ioapic * BIT(PAGE_BITS)) + reg);
56 static void single_ioapic_init(word_t ioapic, cpu_id_t delivery_cpu) argument
66 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(i));
67 ioapic_write(ioapic, IOAPIC_WINDOW, (ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS)) | (delivery_cpu << IOREDTBL_HIGH_RESERVED_BITS));
70 ioapic_write(ioapic, IOAPIC_REGSE
80 uint32_t ioapic; local
90 ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument
109 ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
149 ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
[all...] |
| H A D | hardware.c | 17 #include <plat/machine/ioapic.h>
|
| /seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
| H A D | ioapic.h | 19 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin);
23 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
26 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
|
| H A D | interrupt.h | 22 #include <plat/machine/ioapic.h>
135 uint32_t ioapic = x86_irq_state_irq_ioapic_get_id(state); local
137 ioapic_mask(disable, ioapic, pin);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 68 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, argument
71 x86_irq_state_t irqState = x86_irq_state_irq_ioapic_new(ioapic, pin, level, polarity, 1);
72 ioapic_map_pin_to_vector(ioapic, pin, level, polarity, vector);
142 word_t ioapic = getSyscallArg(2, buffer); local
147 status = ioapic_decode_map_pin_to_vector(ioapic, pin, level, polarity, vector);
153 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 27 #include <plat/machine/ioapic.h>
|
Completed in 46 milliseconds