Searched refs:VMCS_EOI_EXIT1 (Results 1 – 2 of 2) sorted by relevance
107 #define VMCS_EOI_EXIT1 0x0000201E macro
870 vmcs_write(VMCS_EOI_EXIT1, 0); in vmx_vminit()3614 vmcs_write(VMCS_EOI_EXIT1, ((uint64_t)tmrs[3] << 32) | tmrs[2]); in vmx_apicv_sync_tmr()