Lines Matching full:vmcs

14 #include "vmcs.h"
121 	/* The guest-physical address of the current VMCS L1 keeps for L2 */
124 	 * Cache of the guest's VMCS, existing outside of guest memory.
130 	 * Cache of the guest's shadow VMCS, existing outside of guest
147 	 * Indicates if the shadow vmcs or enlightened vmcs must be updated
170 	 * 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.
285 	 * loaded_vmcs points to the VMCS currently used in this vcpu. For a
287 	 * guest (L2), it points to a different VMCS.
596 static inline u##bits __##lname##_controls_get(struct loaded_vmcs *vmcs)			\
598 	return vmcs->controls_shadow.lname;							\
704 struct vmcs *alloc_vmcs_cpu(bool shadow, int cpu, gfp_t flags);
705 void free_vmcs(struct vmcs *vmcs);
710 static inline struct vmcs *alloc_vmcs(bool shadow)  in alloc_vmcs()