Searched refs:EPTP_INDEX (Results 1 – 3 of 3) sorted by relevance
365 EPTP_INDEX = 0x00000004, enumerator
2171 __vmwrite(EPTP_INDEX, vcpu_altp2m(v).p2midx); in vmx_vcpu_update_eptp()3577 __vmread(EPTP_INDEX, &idx); in vmx_vmexit_handler()
1894 vmr(EPT_POINTER), vmr16(EPTP_INDEX)); in vmcs_dump_vcpu()
Completed in 13 milliseconds