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