vector (definition) in projects: seL4-master

Searched defs:vector (Results 1 – 5 of 5) sorted by relevance

/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() 128 void apic_send_ipi_cluster(irq_t vector, word_t mda) 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() 144 void apic_send_ipi_cluster(irq_t vector, word_t mda) in apic_send_ipi_cluster()`
/seL4-master/src/arch/x86/object/
A D	interrupt.c	`61 word_t vector, in invokeIssueIRQHandlerIOAPIC() 77 word_t vector; in Arch_decodeIRQControlInvocation() local`
/seL4-master/src/plat/pc99/machine/
A D	ioapic.c	`107 word_t polarity, word_t vector) in ioapic_decode_map_pin_to_vector() 147 word_t polarity, word_t vector) in ioapic_map_pin_to_vector()`
/seL4-master/src/arch/x86/api/
A D	faults.c	`55 word_t vector, in handleKernelException()`

Completed in 12 milliseconds