Lines Matching refs:loaded_vmcs
158 struct loaded_vmcs vmcs02;
210 * If true, host state has been stored in vmx->loaded_vmcs for
214 * and vmx->loaded_vmcs->host_state is invalid.
238 * loaded_vmcs points to the VMCS currently used in this vcpu. For a
242 struct loaded_vmcs vmcs01;
243 struct loaded_vmcs *loaded_vmcs;
336 struct loaded_vmcs *buddy);
384 if (vmx->loaded_vmcs->controls_shadow.lname != val) { \
386 vmx->loaded_vmcs->controls_shadow.lname = val; \
389 static inline u32 __##lname##_controls_get(struct loaded_vmcs *vmcs) \
395 return __##lname##_controls_get(vmx->loaded_vmcs); \
484 int alloc_loaded_vmcs(struct loaded_vmcs *loaded_vmcs);
485 void free_loaded_vmcs(struct loaded_vmcs *loaded_vmcs);
486 void loaded_vmcs_clear(struct loaded_vmcs *loaded_vmcs);