Searched refs:__vmcs_readl (Results 1 – 1 of 1) sorted by relevance
91 static __always_inline unsigned long __vmcs_readl(unsigned long field) in __vmcs_readl() function159 return __vmcs_readl(field); in vmcs_read16()167 return __vmcs_readl(field); in vmcs_read32()176 return __vmcs_readl(field); in vmcs_read64()178 return __vmcs_readl(field) | ((u64)__vmcs_readl(field+1) << 32); in vmcs_read64()187 return __vmcs_readl(field); in vmcs_readl()273 __vmcs_writel(field, __vmcs_readl(field) & ~mask); in vmcs_clear_bits()283 __vmcs_writel(field, __vmcs_readl(field) | mask); in vmcs_set_bits()