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