Searched refs:APIC_EOI (Results 1 – 7 of 7) sorted by relevance
85 x2apic_write_reg(APIC_EOI, 0); in l1_guest_code() 104 xapic_write_reg(APIC_EOI, 0); in l1_guest_code()
46 xapic_write_reg(APIC_EOI, 0); in tpr_guest_irq_handler_xapic()53 x2apic_write_reg(APIC_EOI, 0); in tpr_guest_irq_handler_x2apic()
29 x2apic_write_reg(APIC_EOI, 0x00); in intr_irq_handler()
127 xapic_write_reg(APIC_EOI, 0); in guest_cmci_handler()
123 xapic_write_reg(APIC_EOI, 77); in guest_ipi_handler()
33 #define APIC_EOI 0xB0 macro
4205 vmx_disable_intercept_for_msr(vcpu, X2APIC_MSR(APIC_EOI), MSR_TYPE_W); in vmx_update_msr_bitmap_x2apic()5880 (offset == APIC_EOI)) { in handle_apic_access()