Searched refs:vmcs_readl (Results 1 – 4 of 4) sorted by relevance
905 *p = vmcs_readl(kvm_vmx_segment_fields[seg].base); in vmx_read_guest_seg_base()1650 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags()2133 msr_info->data = vmcs_readl(GUEST_FS_BASE); in vmx_get_msr()2136 msr_info->data = vmcs_readl(GUEST_GS_BASE); in vmx_get_msr()2166 msr_info->data = vmcs_readl(GUEST_SYSENTER_EIP); in vmx_get_msr()2169 msr_info->data = vmcs_readl(GUEST_SYSENTER_ESP); in vmx_get_msr()2260 msr_info->data = vmcs_readl(GUEST_S_CET); in vmx_get_msr()2263 msr_info->data = vmcs_readl(GUEST_SSP); in vmx_get_msr()2266 msr_info->data = vmcs_readl(GUEST_INTR_SSP_TABLE); in vmx_get_msr()2641 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()[all …]
2537 *s_cet = vmcs_readl(GUEST_S_CET); in vmcs_read_cet_state()2540 *ssp = vmcs_readl(GUEST_SSP); in vmcs_read_cet_state()2541 *ssp_tbl = vmcs_readl(GUEST_INTR_SSP_TABLE); in vmcs_read_cet_state()3924 /*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) | in vmcs12_guest_cr0()3926 /*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask | in vmcs12_guest_cr0()3934 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()3936 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4()4583 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in sync_vmcs02_to_vmcs12_rare()4584 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE); in sync_vmcs02_to_vmcs12_rare()4585 vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE); in sync_vmcs02_to_vmcs12_rare()[all …]
183 static __always_inline unsigned long vmcs_readl(unsigned long field) in vmcs_readl() function
325 vt->exit_qualification = vmcs_readl(EXIT_QUALIFICATION); in vmx_get_exit_qual()