74 static __always_inline int evmcs_field_offset(unsigned long field,  in evmcs_field_offset()  argument
77 	unsigned int index = ROL16(field, 6);  in evmcs_field_offset()
100 				 unsigned long field, u16 offset)  in evmcs_read_any()  argument
108 	return vmcs12_read_any((void *)evmcs, field, offset);  in evmcs_read_any()
113 static __always_inline int get_evmcs_offset(unsigned long field,  in get_evmcs_offset()  argument
116 	int offset = evmcs_field_offset(field, clean_field);  in get_evmcs_offset()
119 		  field);  in get_evmcs_offset()
124 static __always_inline void evmcs_write64(unsigned long field, u64 value)  in evmcs_write64()  argument
127 	int offset = get_evmcs_offset(field, &clean_field);  in evmcs_write64()
137 static inline void evmcs_write32(unsigned long field, u32 value)  in evmcs_write32()  argument
140 	int offset = get_evmcs_offset(field, &clean_field);  in evmcs_write32()
149 static inline void evmcs_write16(unsigned long field, u16 value)  in evmcs_write16()  argument
152 	int offset = get_evmcs_offset(field, &clean_field);  in evmcs_write16()
161 static inline u64 evmcs_read64(unsigned long field)  in evmcs_read64()  argument
163 	int offset = get_evmcs_offset(field, NULL);  in evmcs_read64()
171 static inline u32 evmcs_read32(unsigned long field)  in evmcs_read32()  argument
173 	int offset = get_evmcs_offset(field, NULL);  in evmcs_read32()
181 static inline u16 evmcs_read16(unsigned long field)  in evmcs_read16()  argument
183 	int offset = get_evmcs_offset(field, NULL);  in evmcs_read16()
213 static __always_inline void evmcs_write64(unsigned long field, u64 value) {}  in evmcs_write64()  argument
214 static inline void evmcs_write32(unsigned long field, u32 value) {}  in evmcs_write32()  argument
215 static inline void evmcs_write16(unsigned long field, u16 value) {}  in evmcs_write16()  argument
216 static inline u64 evmcs_read64(unsigned long field) { return 0; }  in evmcs_read64()  argument
217 static inline u32 evmcs_read32(unsigned long field) { return 0; }  in evmcs_read32()  argument
218 static inline u16 evmcs_read16(unsigned long field) { return 0; }  in evmcs_read16()  argument