Searched refs:vmcs_readl (Results 1 – 1 of 1) sorted by relevance
1379 static __always_inline unsigned long vmcs_readl(unsigned long field) in vmcs_readl() function1390 return vmcs_readl(field); in vmcs_read16()1395 return vmcs_readl(field); in vmcs_read32()1401 return vmcs_readl(field); in vmcs_read64()1403 return vmcs_readl(field) | ((u64)vmcs_readl(field+1) << 32); in vmcs_read64()1445 vmcs_writel(field, vmcs_readl(field) & ~mask); in vmcs_clear_bits()1450 vmcs_writel(field, vmcs_readl(field) | mask); in vmcs_set_bits()1543 *p = vmcs_readl(kvm_vmx_segment_fields[seg].base); in vmx_read_guest_seg_base()1984 cr0 = vmcs_readl(GUEST_CR0); in vmx_fpu_activate()2047 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags()[all …]