26 static __always_inline int get_evmcs_offset(unsigned long field,  in get_evmcs_offset()  argument
29 	int offset = evmcs_field_offset(field, clean_field);  in get_evmcs_offset()
31 	WARN_ONCE(offset < 0, "accessing unsupported EVMCS field %lx\n", field);  in get_evmcs_offset()
35 static __always_inline void evmcs_write64(unsigned long field, u64 value)  in evmcs_write64()  argument
38 	int offset = get_evmcs_offset(field, &clean_field);  in evmcs_write64()
48 static __always_inline void evmcs_write32(unsigned long field, u32 value)  in evmcs_write32()  argument
51 	int offset = get_evmcs_offset(field, &clean_field);  in evmcs_write32()
60 static __always_inline void evmcs_write16(unsigned long field, u16 value)  in evmcs_write16()  argument
63 	int offset = get_evmcs_offset(field, &clean_field);  in evmcs_write16()
72 static __always_inline u64 evmcs_read64(unsigned long field)  in evmcs_read64()  argument
74 	int offset = get_evmcs_offset(field, NULL);  in evmcs_read64()
82 static __always_inline u32 evmcs_read32(unsigned long field)  in evmcs_read32()  argument
84 	int offset = get_evmcs_offset(field, NULL);  in evmcs_read32()
92 static __always_inline u16 evmcs_read16(unsigned long field)  in evmcs_read16()  argument
94 	int offset = get_evmcs_offset(field, NULL);  in evmcs_read16()
124 static __always_inline void evmcs_write64(unsigned long field, u64 value) {}  in evmcs_write64()  argument
125 static __always_inline void evmcs_write32(unsigned long field, u32 value) {}  in evmcs_write32()  argument
126 static __always_inline void evmcs_write16(unsigned long field, u16 value) {}  in evmcs_write16()  argument
127 static __always_inline u64 evmcs_read64(unsigned long field) { return 0; }  in evmcs_read64()  argument
128 static __always_inline u32 evmcs_read32(unsigned long field) { return 0; }  in evmcs_read32()  argument
129 static __always_inline u16 evmcs_read16(unsigned long field) { return 0; }  in evmcs_read16()  argument