Lines Matching refs:field
31 static __always_inline int evmcs_field_offset(unsigned long field,
34 unsigned int index = ROL16(field, 6);
44 * 'revision_id' but this field has no encoding and is supposed to
57 unsigned long field, u16 offset)
62 * the exact offset of the required field, use it for convenience
65 return vmcs12_read_any((void *)evmcs, field, offset);
77 static __always_inline int get_evmcs_offset(unsigned long field,
80 int offset = evmcs_field_offset(field, clean_field);
82 WARN_ONCE(offset < 0, "accessing unsupported EVMCS field %lx\n", field);
86 static __always_inline void evmcs_write64(unsigned long field, u64 value)
89 int offset = get_evmcs_offset(field, &clean_field);
99 static __always_inline void evmcs_write32(unsigned long field, u32 value)
102 int offset = get_evmcs_offset(field, &clean_field);
111 static __always_inline void evmcs_write16(unsigned long field, u16 value)
114 int offset = get_evmcs_offset(field, &clean_field);
123 static __always_inline u64 evmcs_read64(unsigned long field)
125 int offset = get_evmcs_offset(field, NULL);
133 static __always_inline u32 evmcs_read32(unsigned long field)
135 int offset = get_evmcs_offset(field, NULL);
143 static __always_inline u16 evmcs_read16(unsigned long field)
145 int offset = get_evmcs_offset(field, NULL);
167 static __always_inline void evmcs_write64(unsigned long field, u64 value) {}
168 static __always_inline void evmcs_write32(unsigned long field, u32 value) {}
169 static __always_inline void evmcs_write16(unsigned long field, u16 value) {}
170 static __always_inline u64 evmcs_read64(unsigned long field) { return 0; }
171 static __always_inline u32 evmcs_read32(unsigned long field) { return 0; }
172 static __always_inline u16 evmcs_read16(unsigned long field) { return 0; }