Searched refs:VMCS_EOI_EXIT2 (Results 1 – 2 of 2) sorted by relevance
108 #define VMCS_EOI_EXIT2 0x00002020 macro
871 vmcs_write(VMCS_EOI_EXIT2, 0); in vmx_vminit()3615 vmcs_write(VMCS_EOI_EXIT2, ((uint64_t)tmrs[5] << 32) | tmrs[4]); in vmx_apicv_sync_tmr()