Searched refs:vmcs_readl (Results 1 – 4 of 4) sorted by relevance
794 *p = vmcs_readl(kvm_vmx_segment_fields[seg].base); in vmx_read_guest_seg_base() 1487 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags() 1970 msr_info->data = vmcs_readl(GUEST_FS_BASE); in vmx_get_msr() 1973 msr_info->data = vmcs_readl(GUEST_GS_BASE); in vmx_get_msr() 2003 msr_info->data = vmcs_readl(GUEST_SYSENTER_EIP); in vmx_get_msr() 2006 msr_info->data = vmcs_readl(GUEST_SYSENTER_ESP); in vmx_get_msr() 2460 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg() 2463 vcpu->arch.regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP); in vmx_cache_reg() 2473 vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits; in vmx_cache_reg() 2481 vcpu->arch.cr3 = vmcs_readl(GUEST_CR in vmx_cache_reg() [all...]
3831 /*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) | in vmcs12_guest_cr0() 3833 /*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask | in vmcs12_guest_cr0() 3841 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4() 3843 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4() 4511 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in sync_vmcs02_to_vmcs12_rare() 4512 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE); in sync_vmcs02_to_vmcs12_rare() 4513 vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE); in sync_vmcs02_to_vmcs12_rare() 4514 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE); in sync_vmcs02_to_vmcs12_rare() 4515 vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE); in sync_vmcs02_to_vmcs12_rare() 4516 vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BAS in sync_vmcs02_to_vmcs12_rare() [all...]
183 static __always_inline unsigned long vmcs_readl(unsigned long field) in vmcs_readl() function
332 vt->exit_qualification = vmcs_readl(EXIT_QUALIFICATION); in vmx_get_exit_qual()