42 	return to_vmx(vcpu)->nested.cached_vmcs12;  in get_vmcs12()
47 	return to_vmx(vcpu)->nested.cached_shadow_vmcs12;  in get_shadow_vmcs12()
65 	return is_guest_mode(vcpu) || vmx->nested.current_vmptr != -1ull ||  in vmx_has_valid_vmcs12()
66 		vmx->nested.hv_evmcs;  in vmx_has_valid_vmcs12()
73 	return vmx->nested.vpid02 ? vmx->nested.vpid02 : vmx->vpid;  in nested_get_vpid02()
105 	return vmx_misc_cr3_count(to_vmx(vcpu)->nested.msrs.misc_low);  in nested_cpu_vmx_misc_cr3_count()
115 	return to_vmx(vcpu)->nested.msrs.misc_low &  in nested_cpu_has_vmwrite_any_field()
121 	return to_vmx(vcpu)->nested.msrs.misc_low & VMX_MISC_ZERO_LEN_INS;  in nested_cpu_has_zero_length_injection()
126 	return to_vmx(vcpu)->nested.msrs.procbased_ctls_high &  in nested_cpu_supports_monitor_trap_flag()
132 	return to_vmx(vcpu)->nested.msrs.secondary_ctls_high &  in nested_cpu_has_vmx_shadow_vmcs()
258 	u64 fixed0 = to_vmx(vcpu)->nested.msrs.cr0_fixed0;  in nested_guest_cr0_valid()
259 	u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr0_fixed1;  in nested_guest_cr0_valid()
262 	if (to_vmx(vcpu)->nested.msrs.secondary_ctls_high &  in nested_guest_cr0_valid()
272 	u64 fixed0 = to_vmx(vcpu)->nested.msrs.cr0_fixed0;  in nested_host_cr0_valid()
273 	u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr0_fixed1;  in nested_host_cr0_valid()
280 	u64 fixed0 = to_vmx(vcpu)->nested.msrs.cr4_fixed0;  in nested_cr4_valid()
281 	u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr4_fixed1;  in nested_cr4_valid()