Searched refs:GUEST_BNDCFGS (Results 1 – 3 of 3) sorted by relevance
413 GUEST_BNDCFGS = 0x00002812, enumerator
912 __vmread(GUEST_BNDCFGS, &ctxt->msr[ctxt->count].val); in vmx_save_msr()942 __vmwrite(GUEST_BNDCFGS, ctxt->msr[i].val); in vmx_load_msr()1317 __vmwrite(GUEST_BNDCFGS, val); in vmx_set_guest_bndcfgs()1328 __vmread(GUEST_BNDCFGS, val); in vmx_get_guest_bndcfgs()
1265 __vmwrite(GUEST_BNDCFGS, 0); in construct_vmcs()1833 vmr(GUEST_PERF_GLOBAL_CTRL), vmr(GUEST_BNDCFGS)); in vmcs_dump_vcpu()
Completed in 14 milliseconds