| /seL4-master/src/arch/x86/kernel/ |
| A D | x2apic.c | 111 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) in apic_send_ipi_core() argument
123 vector /* vector */ in apic_send_ipi_core()
128 void apic_send_ipi_cluster(irq_t vector, word_t mda) in apic_send_ipi_cluster() argument
140 vector /* vector */ in apic_send_ipi_cluster()
|
| A D | xapic.c | 120 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) in apic_send_ipi_core() argument
139 vector /* vector */ in apic_send_ipi_core()
144 void apic_send_ipi_cluster(irq_t vector, word_t mda) in apic_send_ipi_cluster() argument
163 vector /* vector */ in apic_send_ipi_cluster()
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 42 word_t vector,
55 word_t vector, in handleKernelException() argument
69 if (vector == int_gp_fault && ARCH_NODE_STATE(x86KSGPExceptReturnTo) != 0) { in handleKernelException()
75 printf("Vector: 0x%lx\n", vector); in handleKernelException()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 61 word_t vector, in invokeIssueIRQHandlerIOAPIC() argument
65 ioapic_map_pin_to_vector(ioapic, pin, level, polarity, vector); in invokeIssueIRQHandlerIOAPIC()
77 word_t vector; in Arch_decodeIRQControlInvocation() local
118 vector = (word_t)irq + IRQ_INT_OFFSET; in Arch_decodeIRQControlInvocation()
139 status = ioapic_decode_map_pin_to_vector(ioapic, pin, level, polarity, vector); in Arch_decodeIRQControlInvocation()
145 … return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot); in Arch_decodeIRQControlInvocation()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | ioapic.h | 18 …_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
21 … ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
|
| A D | pic.h | 14 void pic_remap_irqs(interrupt_t vector);
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | apic.h | 30 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id);
31 void apic_send_ipi_cluster(irq_t vector, word_t mda);
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | debug.h | 50 typedef void (*catch_handler_t)(user_context_t *context, vector_t vector);
53 void catch_vector(vector_t vector) VISIBLE;
54 void uncatch_vector(vector_t vector) VISIBLE;
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | ioapic.c | 107 word_t polarity, word_t vector) in ioapic_decode_map_pin_to_vector() argument
147 word_t polarity, word_t vector) in ioapic_map_pin_to_vector() argument
162 vector; in ioapic_map_pin_to_vector()
|
| /seL4-master/include/arch/x86/arch/object/ |
| A D | structures.bf | 66 field vector 8
79 field vector 8
96 field vector 8
|
| /seL4-master/src/arch/x86/32/ |
| A D | traps.S | 376 cmpl $0x20, %ecx # if interrupt vector is below 0x20, we have an exception
468 # call handleKernelException(vector, errcode, EIP, ESP, EFLAGS, CR0, CR2, CR3, CR4)
|
| /seL4-master/src/arch/x86/64/ |
| A D | traps.S | 569 # handleKernelException(vector, errorcode, RIP, RSP, RFLAGS, CR0, CR2, CR3, CR4)
|
| /seL4-master/src/arch/x86/ |
| A D | config.cmake | 342 a harder attack vector."
|
| /seL4-master/manual/parts/ |
| A D | io.tex | 58 an interrupt comes from (IOAPIC, MSI, etc) it must be assigned a unique vector
60 a vector are effectively given through the \obj{IRQControl} capability and can
|
| /seL4-master/manual/ |
| A D | Doxyfile | 310 # If you use STL classes (i.e. std::string, std::vector, etc.) but do not want
|