Searched refs:guest_bndcfgs (Results 1 – 1 of 1) sorted by relevance
239 u64 guest_bndcfgs; member676 FIELD64(GUEST_BNDCFGS, guest_bndcfgs),9313 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02()9825 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in prepare_vmcs12()