78 static __always_inline int get_evmcs_offset(unsigned long field,  in get_evmcs_offset()
100 static inline void evmcs_write64(unsigned long field, u64 value)  in evmcs_write64()
113 static inline void evmcs_write32(unsigned long field, u32 value)  in evmcs_write32()
125 static inline void evmcs_write16(unsigned long field, u16 value)  in evmcs_write16()
137 static inline u64 evmcs_read64(unsigned long field)  in evmcs_read64()
147 static inline u32 evmcs_read32(unsigned long field)  in evmcs_read32()
157 static inline u16 evmcs_read16(unsigned long field)  in evmcs_read16()
190 static inline void evmcs_write64(unsigned long field, u64 value) {}  in evmcs_write64()
191 static inline void evmcs_write32(unsigned long field, u32 value) {}  in evmcs_write32()
192 static inline void evmcs_write16(unsigned long field, u16 value) {}  in evmcs_write16()
193 static inline u64 evmcs_read64(unsigned long field) { return 0; }  in evmcs_read64()
194 static inline u32 evmcs_read32(unsigned long field) { return 0; }  in evmcs_read32()
195 static inline u16 evmcs_read16(unsigned long field) { return 0; }  in evmcs_read16()