Searched refs:vmcs_readl (Results 1 – 1 of 1) sorted by relevance
1453 static __always_inline unsigned long vmcs_readl(unsigned long field) in vmcs_readl() function1464 return vmcs_readl(field); in vmcs_read16()1469 return vmcs_readl(field); in vmcs_read32()1475 return vmcs_readl(field); in vmcs_read64()1477 return vmcs_readl(field) | ((u64)vmcs_readl(field+1) << 32); in vmcs_read64()1519 vmcs_writel(field, vmcs_readl(field) & ~mask); in vmcs_clear_bits()1524 vmcs_writel(field, vmcs_readl(field) | mask); in vmcs_set_bits()1617 *p = vmcs_readl(kvm_vmx_segment_fields[seg].base); in vmx_read_guest_seg_base()2129 cr0 = vmcs_readl(GUEST_CR0); in vmx_fpu_activate()2192 rflags = vmcs_readl(GUEST_RFLAGS); in vmx_get_rflags()[all …]