Lines Matching refs:__always_inline

22 static __always_inline void vmcs_check16(unsigned long field)  in vmcs_check16()
34 static __always_inline void vmcs_check32(unsigned long field)  in vmcs_check32()
42 static __always_inline void vmcs_check64(unsigned long field)  in vmcs_check64()
54 static __always_inline void vmcs_checkl(unsigned long field)  in vmcs_checkl()
66 static __always_inline unsigned long __vmcs_readl(unsigned long field)  in __vmcs_readl()
89 static __always_inline u16 vmcs_read16(unsigned long field)  in vmcs_read16()
97 static __always_inline u32 vmcs_read32(unsigned long field)  in vmcs_read32()
105 static __always_inline u64 vmcs_read64(unsigned long field)  in vmcs_read64()
117 static __always_inline unsigned long vmcs_readl(unsigned long field)  in vmcs_readl()
155 static __always_inline void __vmcs_writel(unsigned long field, unsigned long value)  in __vmcs_writel()
160 static __always_inline void vmcs_write16(unsigned long field, u16 value)  in vmcs_write16()
169 static __always_inline void vmcs_write32(unsigned long field, u32 value)  in vmcs_write32()
178 static __always_inline void vmcs_write64(unsigned long field, u64 value)  in vmcs_write64()
190 static __always_inline void vmcs_writel(unsigned long field, unsigned long value)  in vmcs_writel()
199 static __always_inline void vmcs_clear_bits(unsigned long field, u32 mask)  in vmcs_clear_bits()
209 static __always_inline void vmcs_set_bits(unsigned long field, u32 mask)  in vmcs_set_bits()