Lines Matching defs:vmcs12
10 * struct vmcs12 describes the state that our guest hypervisor (L1) keeps for a
11 * single nested guest (L2), hence the name vmcs12. Any VMX implementation has
12 * a VMCS structure, and vmcs12 is our emulated VMX's VMCS. This structure is
27 struct __packed vmcs12 {
190 * layout of struct vmcs12 is changed. MSR_IA32_VMX_BASIC returns this id, and
200 * and any VMCS region. Although only sizeof(struct vmcs12) are used by the
213 * For save/restore compatibility, the vmcs12 field offsets must not change.
216 BUILD_BUG_ON_MSG(offsetof(struct vmcs12, field) != (loc), \
217 "Offset of " #field " in struct vmcs12 has changed.")
392 static inline u64 vmcs12_read_any(struct vmcs12 *vmcs12, unsigned long field,
395 char *p = (char *)vmcs12 + offset;
412 static inline void vmcs12_write_any(struct vmcs12 *vmcs12, unsigned long field,
415 char *p = (char *)vmcs12 + offset;