Searched refs:__vmcs_readl (Results 1 – 1 of 1) sorted by relevance
2322 static __always_inline unsigned long __vmcs_readl(unsigned long field) in __vmcs_readl() function2336 return __vmcs_readl(field); in vmcs_read16()2344 return __vmcs_readl(field); in vmcs_read32()2353 return __vmcs_readl(field); in vmcs_read64()2355 return __vmcs_readl(field) | ((u64)__vmcs_readl(field+1) << 32); in vmcs_read64()2364 return __vmcs_readl(field); in vmcs_readl()2431 __vmcs_writel(field, __vmcs_readl(field) & ~mask); in vmcs_clear_bits()2441 __vmcs_writel(field, __vmcs_readl(field) | mask); in vmcs_set_bits()8641 field_value = __vmcs_readl(field); in copy_shadow_to_vmcs12()
