Searched refs:apic_regs (Results 1 – 1 of 1) sorted by relevance
2127 uint32_t *apic_regs, vector; in vmx_handle_apic_write() local2143 apic_regs = (uint32_t *)(vlapic->apic_page); in vmx_handle_apic_write()2144 vector = apic_regs[APIC_OFFSET_SELF_IPI / 4]; in vmx_handle_apic_write()