3646 	/*1*/	(vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) |  in vmcs12_guest_cr0()
3648 	/*3*/	(vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask |  in vmcs12_guest_cr0()
3656 	/*1*/	(vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) |  in vmcs12_guest_cr4()
3658 	/*3*/	(vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask |  in vmcs12_guest_cr4()
4039 	vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE);  in sync_vmcs02_to_vmcs12_rare()
4040 	vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE);  in sync_vmcs02_to_vmcs12_rare()
4041 	vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE);  in sync_vmcs02_to_vmcs12_rare()
4042 	vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE);  in sync_vmcs02_to_vmcs12_rare()
4043 	vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE);  in sync_vmcs02_to_vmcs12_rare()
4044 	vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BASE);  in sync_vmcs02_to_vmcs12_rare()
4045 	vmcs12->guest_ldtr_base = vmcs_readl(GUEST_LDTR_BASE);  in sync_vmcs02_to_vmcs12_rare()
4046 	vmcs12->guest_tr_base = vmcs_readl(GUEST_TR_BASE);  in sync_vmcs02_to_vmcs12_rare()
4047 	vmcs12->guest_gdtr_base = vmcs_readl(GUEST_GDTR_BASE);  in sync_vmcs02_to_vmcs12_rare()
4048 	vmcs12->guest_idtr_base = vmcs_readl(GUEST_IDTR_BASE);  in sync_vmcs02_to_vmcs12_rare()
4050 		vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS);  in sync_vmcs02_to_vmcs12_rare()
4100 	vmcs12->guest_rflags = vmcs_readl(GUEST_RFLAGS);  in sync_vmcs02_to_vmcs12()
4128 		vmcs12->guest_cr3 = vmcs_readl(GUEST_CR3);  in sync_vmcs02_to_vmcs12()
4137 	vmcs12->guest_linear_address = vmcs_readl(GUEST_LINEAR_ADDRESS);  in sync_vmcs02_to_vmcs12()
4248 	vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);  in load_vmcs12_host_state()
4385 			WARN_ON(kvm_set_dr(vcpu, 7, vmcs_readl(GUEST_DR7)));  in nested_vmx_restore_host_state()
4395 	vmx_set_cr0(vcpu, vmcs_readl(CR0_READ_SHADOW));  in nested_vmx_restore_host_state()
4397 	vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);  in nested_vmx_restore_host_state()
4398 	vmx_set_cr4(vcpu, vmcs_readl(CR4_READ_SHADOW));  in nested_vmx_restore_host_state()
4401 	vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);  in nested_vmx_restore_host_state()