GUEST_BNDCFGS
EVMCS1_FIELD(GUEST_BNDCFGS, guest_bndcfgs,
vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs);
vmcs_write64(GUEST_BNDCFGS, vmx->nested.pre_vmenter_bndcfgs);
vmx->nested.pre_vmenter_bndcfgs = vmcs_read64(GUEST_BNDCFGS);
case GUEST_BNDCFGS:
vmcs_write64(GUEST_BNDCFGS, 0);
FIELD64(GUEST_BNDCFGS, guest_bndcfgs),
msr_info->data = vmcs_read64(GUEST_BNDCFGS);
vmcs_write64(GUEST_BNDCFGS, data);
vmcs_write64(GUEST_BNDCFGS, 0);
pr_err("BndCfgS = 0x%016llx\n", vmcs_read64(GUEST_BNDCFGS));
case GUEST_BNDCFGS:
case GUEST_BNDCFGS: