Lines Matching refs: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 {
192 * layout of struct vmcs12 is changed. MSR_IA32_VMX_BASIC returns this id, and
202 * and any VMCS region. Although only sizeof(struct vmcs12) are used by the
209 * For save/restore compatibility, the vmcs12 field offsets must not change.
212 ASSERT_STRUCT_OFFSET(struct vmcs12, field, loc)
385 static inline u64 vmcs12_read_any(struct vmcs12 *vmcs12, unsigned long field,
388 char *p = (char *)vmcs12 + offset;
405 static inline void vmcs12_write_any(struct vmcs12 *vmcs12, unsigned long field,
408 char *p = (char *)vmcs12 + offset;