Lines Matching refs:vmcs_readl
3652 /*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) |
3654 /*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask |
3662 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) |
3664 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask |
4045 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE);
4046 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE);
4047 vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE);
4048 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE);
4049 vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE);
4050 vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BASE);
4051 vmcs12->guest_ldtr_base = vmcs_readl(GUEST_LDTR_BASE);
4052 vmcs12->guest_tr_base = vmcs_readl(GUEST_TR_BASE);
4053 vmcs12->guest_gdtr_base = vmcs_readl(GUEST_GDTR_BASE);
4054 vmcs12->guest_idtr_base = vmcs_readl(GUEST_IDTR_BASE);
4056 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS);
4106 vmcs12->guest_rflags = vmcs_readl(GUEST_RFLAGS);
4134 vmcs12->guest_cr3 = vmcs_readl(GUEST_CR3);
4143 vmcs12->guest_linear_address = vmcs_readl(GUEST_LINEAR_ADDRESS);
4254 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
4391 WARN_ON(kvm_set_dr(vcpu, 7, vmcs_readl(GUEST_DR7)));
4401 vmx_set_cr0(vcpu, vmcs_readl(CR0_READ_SHADOW));
4403 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
4404 vmx_set_cr4(vcpu, vmcs_readl(CR4_READ_SHADOW));
4407 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);