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