Searched refs:guest_bndcfgs (Results 1 – 1 of 1) sorted by relevance
243 u64 guest_bndcfgs; member731 FIELD64(GUEST_BNDCFGS, guest_bndcfgs),9713 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02()10237 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in prepare_vmcs12()