Searched refs: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 | 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
|
H A D | lapic.c | 65 uint32_t delivery_mode; member in struct:vm_lapic_irq 120 return irq->delivery_mode == APIC_DM_LOWEST; 368 static int __apic_accept_irq(vm_vcpu_t *vcpu, int delivery_mode, 375 return __apic_accept_irq(vcpu, irq->delivery_mode, irq->vector, 537 static int __apic_accept_irq(vm_vcpu_t *vcpu, int delivery_mode, argument 544 switch (delivery_mode) { 608 printf("TODO: unsupported lapic ipi delivery mode %x", delivery_mode); 645 irq.delivery_mode = icr_low & APIC_MODE_MASK; 654 "dest_mode 0x%x, delivery_mode 0x%x, vector 0x%x\n", 656 irq.trig_mode, irq.level, irq.dest_mode, irq.delivery_mode, [all...] |
Completed in 315 milliseconds