Lines Matching refs:loaded_vmcs
194 struct loaded_vmcs vmcs02;
255 * If true, host state has been stored in vmx->loaded_vmcs for
259 * and vmx->loaded_vmcs->host_state is invalid.
285 * loaded_vmcs points to the VMCS currently used in this vcpu. For a
289 struct loaded_vmcs vmcs01;
290 struct loaded_vmcs *loaded_vmcs;
378 struct loaded_vmcs *buddy);
584 if (vmx->loaded_vmcs->controls_shadow.lname != val) { \
586 vmx->loaded_vmcs->controls_shadow.lname = val; \
589 static inline u##bits __##lname##_controls_get(struct loaded_vmcs *vmcs) \
595 return __##lname##_controls_get(vmx->loaded_vmcs); \
699 int alloc_loaded_vmcs(struct loaded_vmcs *loaded_vmcs);
700 void free_loaded_vmcs(struct loaded_vmcs *loaded_vmcs);
701 void loaded_vmcs_clear(struct loaded_vmcs *loaded_vmcs);