Searched refs:VMCS_EOI_EXIT3 (Results 1 – 2 of 2) sorted by relevance
109 #define VMCS_EOI_EXIT3 0x00002022 macro
872 vmcs_write(VMCS_EOI_EXIT3, 0); in vmx_vminit()3616 vmcs_write(VMCS_EOI_EXIT3, ((uint64_t)tmrs[7] << 32) | tmrs[6]); in vmx_apicv_sync_tmr()