Lines Matching full:vmcs

14 #include "vmcs.h"
122 	/* The guest-physical address of the current VMCS L1 keeps for L2 */
125 	 * Cache of the guest's VMCS, existing outside of guest memory.
131 	 * Cache of the guest's shadow VMCS, existing outside of guest
148 	 * Indicates if the shadow vmcs or enlightened vmcs must be updated
171 	 * vmcs02 has been written to the backing VMCS.  Initialization
182 	 * Enlightened VMCS has been enabled. It does not mean that L1 has to
184 	 * on what the enlightened VMCS supports.
287 	 * loaded_vmcs points to the VMCS currently used in this vcpu. For a
289 	 * guest (L2), it points to a different VMCS.
593 static inline u##bits __##lname##_controls_get(struct loaded_vmcs *vmcs)			\
595 	return vmcs->controls_shadow.lname;							\
701 struct vmcs *alloc_vmcs_cpu(bool shadow, int cpu, gfp_t flags);
702 void free_vmcs(struct vmcs *vmcs);
707 static inline struct vmcs *alloc_vmcs(bool shadow)  in alloc_vmcs()