/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | xapic.c | 120 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) argument 144 void apic_send_ipi_cluster(irq_t vector, word_t mda) argument
|
H A D | x2apic.c | 111 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) argument 128 void apic_send_ipi_cluster(irq_t vector, word_t mda) argument
|
/seL4-test-master/kernel/src/arch/x86/api/ |
H A D | faults.c | 54 handleKernelException( word_t vector, word_t errcode, word_t ip, word_t sp, word_t flags, word_t cr0, word_t cr2, word_t cr3, word_t cr4 ) argument
|
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 47 int vector = irq; local 26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/ |
H A D | arch.c | 50 get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, UNUSED seL4_Word pci_bus, UNUSED seL4_Word pci_dev, UNUSED seL4_Word pci_func, UNUSED seL4_Word handle, seL4_Word vector) argument 57 get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.c | 31 void* vector[26] = {NULL}; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
H A D | simple.h | 117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument 135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 78 word_t vector; local 60 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, cte_t *handlerSlot, cte_t *controlSlot) argument
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | ioapic.c | 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
|
/seL4-test-master/kernel/include/drivers/irq/ |
H A D | imx31.h | 38 uint32_t vector[64]; member in struct:avic_map
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 50 long vector; member in struct:__anon1::__anon2::__anon3 57 long vector; member in struct:__anon1::__anon2::__anon4
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.c | 64 uint32_t vector; member in struct:vm_lapic_irq 139 bool vm_apic_pending_eoi(vm_vcpu_t *vcpu, int vector) argument 537 __apic_accept_irq(vm_vcpu_t *vcpu, int delivery_mode, int vector, int level, int trig_mode, unsigned long *dest_map) argument 618 int vector = apic_find_highest_isr(apic); local 1037 int vector = vm_apic_has_interrupt(vcpu); local [all...] |
H A D | apicdef.h | 346 u32 vector : 8, member in struct:local_apic_regs::__anon41 371 u32 vector : 8, member in struct:local_apic_regs::__anon44 382 u32 vector : 8, member in struct:local_apic_regs::__anon45 393 u32 vector : 8, member in struct:local_apic_regs::__anon46 404 u32 vector : 8, member in struct:local_apic_regs::__anon47 417 u32 vector : 8, member in struct:local_apic_regs::__anon48 430 u32 vector : 8, member in struct:local_apic_regs::__anon49
|