Searched defs:delivery_mode (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ | ||
| H A D | lapic.c | 65 uint32_t delivery_mode; member in struct:vm_lapic_irq 537 static int __apic_accept_irq(vm_vcpu_t *vcpu, int delivery_mode, argument [all...] |
| H A D | apicdef.h | 347 delivery_mode : 3, member in struct:local_apic_regs::__anon31 383 delivery_mode : 3, member in struct:local_apic_regs::__anon35 394 delivery_mode : 3, member in struct:local_apic_regs::__anon36 405 delivery_mode : 3, member in struct:local_apic_regs::__anon37 418 delivery_mode : 3, member in struct:local_apic_regs::__anon38 |
Completed in 80 milliseconds