Searched refs:vmcs_readl (Results 1 – 4 of 4) sorted by relevance
848 *p = vmcs_readl(kvm_vmx_segment_fields[seg].base); in vmx_read_guest_seg_base()1507 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags()1885 msr_info->data = vmcs_readl(GUEST_FS_BASE); in vmx_get_msr()1888 msr_info->data = vmcs_readl(GUEST_GS_BASE); in vmx_get_msr()1918 msr_info->data = vmcs_readl(GUEST_SYSENTER_EIP); in vmx_get_msr()1921 msr_info->data = vmcs_readl(GUEST_SYSENTER_ESP); in vmx_get_msr()2306 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()2309 vcpu->arch.regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP); in vmx_cache_reg()2319 vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits; in vmx_cache_reg()2324 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3); in vmx_cache_reg()[all …]
3634 /*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) | in vmcs12_guest_cr0()3636 /*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask | in vmcs12_guest_cr0()3644 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()3646 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4()3994 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in sync_vmcs02_to_vmcs12_rare()3995 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE); in sync_vmcs02_to_vmcs12_rare()3996 vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE); in sync_vmcs02_to_vmcs12_rare()3997 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE); in sync_vmcs02_to_vmcs12_rare()3998 vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE); in sync_vmcs02_to_vmcs12_rare()3999 vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BASE); in sync_vmcs02_to_vmcs12_rare()[all …]
132 static __always_inline unsigned long vmcs_readl(unsigned long field) in vmcs_readl() function
462 vmx->exit_qualification = vmcs_readl(EXIT_QUALIFICATION); in vmx_get_exit_qual()