Lines Matching refs:vmcs_readl
3831 /*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) |
3833 /*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask |
3841 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) |
3843 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask |
4511 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE);
4512 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE);
4513 vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE);
4514 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE);
4515 vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE);
4516 vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BASE);
4517 vmcs12->guest_ldtr_base = vmcs_readl(GUEST_LDTR_BASE);
4518 vmcs12->guest_tr_base = vmcs_readl(GUEST_TR_BASE);
4519 vmcs12->guest_gdtr_base = vmcs_readl(GUEST_GDTR_BASE);
4520 vmcs12->guest_idtr_base = vmcs_readl(GUEST_IDTR_BASE);
4522 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS);
4571 vmcs12->guest_rflags = vmcs_readl(GUEST_RFLAGS);
4601 vmcs12->guest_cr3 = vmcs_readl(GUEST_CR3);
4610 vmcs12->guest_linear_address = vmcs_readl(GUEST_LINEAR_ADDRESS);
4729 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
4867 WARN_ON(kvm_set_dr(vcpu, 7, vmcs_readl(GUEST_DR7)));
4880 vmx_set_cr0(vcpu, vmcs_readl(CR0_READ_SHADOW));
4882 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
4883 vmx_set_cr4(vcpu, vmcs_readl(CR4_READ_SHADOW));
4886 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);