Searched refs:VMCS_EOI_EXIT0 (Results 1 – 2 of 2) sorted by relevance
106 #define VMCS_EOI_EXIT0 0x0000201C macro110 #define VMCS_EOI_EXIT(vector) (VMCS_EOI_EXIT0 + ((vector) / 64) * 2)
869 vmcs_write(VMCS_EOI_EXIT0, 0); in vmx_vminit()3613 vmcs_write(VMCS_EOI_EXIT0, ((uint64_t)tmrs[1] << 32) | tmrs[0]); in vmx_apicv_sync_tmr()