771 static inline short vmcs_field_to_offset(unsigned long field)  in vmcs_field_to_offset()
1379 static __always_inline unsigned long vmcs_readl(unsigned long field)  in vmcs_readl()
1388 static __always_inline u16 vmcs_read16(unsigned long field)  in vmcs_read16()
1393 static __always_inline u32 vmcs_read32(unsigned long field)  in vmcs_read32()
1398 static __always_inline u64 vmcs_read64(unsigned long field)  in vmcs_read64()
1407 static noinline void vmwrite_error(unsigned long field, unsigned long value)  in vmwrite_error()
1414 static void vmcs_writel(unsigned long field, unsigned long value)  in vmcs_writel()
1424 static void vmcs_write16(unsigned long field, u16 value)  in vmcs_write16()
1429 static void vmcs_write32(unsigned long field, u32 value)  in vmcs_write32()
1434 static void vmcs_write64(unsigned long field, u64 value)  in vmcs_write64()
1443 static void vmcs_clear_bits(unsigned long field, u32 mask)  in vmcs_clear_bits()
1448 static void vmcs_set_bits(unsigned long field, u32 mask)  in vmcs_set_bits()
1515 				       unsigned field)  in vmx_segment_cache_test_set()
6826 static inline int vmcs_field_type(unsigned long field)  in vmcs_field_type()
6833 static inline int vmcs_field_readonly(unsigned long field)  in vmcs_field_readonly()
6846 				  unsigned long field, u64 *ret)  in vmcs12_read_any()
6877 				   unsigned long field, u64 field_value){  in vmcs12_write_any()
6906 	unsigned long field;  in copy_shadow_to_vmcs12()  local
6955 	unsigned long field;  in copy_vmcs12_to_shadow()  local
7007 	unsigned long field;  in handle_vmread()  local
7050 	unsigned long field;  in handle_vmwrite()  local