Searched refs:VMCS_EOI_EXIT (Results 1 – 2 of 2) sorted by relevance
144 #define VMCS_EOI_EXIT(vector) (VMCS_EOI_EXIT0 + ((vector) / 64) * 2) macro
3228 val = vmcs_read(VMCS_EOI_EXIT(vector)); in vmx_set_tmr()3233 vmcs_write(VMCS_EOI_EXIT(vector), val); in vmx_set_tmr()