Searched refs:vmcs_readl (Results 1 – 4 of 4) sorted by relevance
850 *p = vmcs_readl(kvm_vmx_segment_fields[seg].base); in vmx_read_guest_seg_base()1514 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags()1990 msr_info->data = vmcs_readl(GUEST_FS_BASE); in vmx_get_msr()1993 msr_info->data = vmcs_readl(GUEST_GS_BASE); in vmx_get_msr()2023 msr_info->data = vmcs_readl(GUEST_SYSENTER_EIP); in vmx_get_msr()2026 msr_info->data = vmcs_readl(GUEST_SYSENTER_ESP); in vmx_get_msr()2471 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()2474 vcpu->arch.regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP); in vmx_cache_reg()2484 vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits; in vmx_cache_reg()2492 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3); in vmx_cache_reg()[all …]
3711 /*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) | in vmcs12_guest_cr0()3713 /*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask | in vmcs12_guest_cr0()3721 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()3723 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4()4283 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in sync_vmcs02_to_vmcs12_rare()4284 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE); in sync_vmcs02_to_vmcs12_rare()4285 vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE); in sync_vmcs02_to_vmcs12_rare()4286 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE); in sync_vmcs02_to_vmcs12_rare()4287 vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE); in sync_vmcs02_to_vmcs12_rare()4288 vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BASE); in sync_vmcs02_to_vmcs12_rare()[all …]
181 static __always_inline unsigned long vmcs_readl(unsigned long field) in vmcs_readl() function
682 vmx->exit_qualification = vmcs_readl(EXIT_QUALIFICATION); in vmx_get_exit_qual()
