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 Dapicdef.h347 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 Dlapic.c65 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