826 static inline short vmcs_field_to_offset(unsigned long field)  in vmcs_field_to_offset()
1453 static __always_inline unsigned long vmcs_readl(unsigned long field)  in vmcs_readl()
1462 static __always_inline u16 vmcs_read16(unsigned long field)  in vmcs_read16()
1467 static __always_inline u32 vmcs_read32(unsigned long field)  in vmcs_read32()
1472 static __always_inline u64 vmcs_read64(unsigned long field)  in vmcs_read64()
1481 static noinline void vmwrite_error(unsigned long field, unsigned long value)  in vmwrite_error()
1488 static void vmcs_writel(unsigned long field, unsigned long value)  in vmcs_writel()
1498 static void vmcs_write16(unsigned long field, u16 value)  in vmcs_write16()
1503 static void vmcs_write32(unsigned long field, u32 value)  in vmcs_write32()
1508 static void vmcs_write64(unsigned long field, u64 value)  in vmcs_write64()
1517 static void vmcs_clear_bits(unsigned long field, u32 mask)  in vmcs_clear_bits()
1522 static void vmcs_set_bits(unsigned long field, u32 mask)  in vmcs_set_bits()
1589 				       unsigned field)  in vmx_segment_cache_test_set()
6965 static inline int vmcs_field_type(unsigned long field)  in vmcs_field_type()
6972 static inline int vmcs_field_readonly(unsigned long field)  in vmcs_field_readonly()
6985 				  unsigned long field, u64 *ret)  in vmcs12_read_any()
7016 				   unsigned long field, u64 field_value){  in vmcs12_write_any()
7045 	unsigned long field;  in copy_shadow_to_vmcs12()  local
7094 	unsigned long field;  in copy_vmcs12_to_shadow()  local
7146 	unsigned long field;  in handle_vmread()  local
7189 	unsigned long field;  in handle_vmwrite()  local