Lines Matching refs:vmx
255 * If true, host state has been stored in vmx->loaded_vmcs for
259 * and vmx->loaded_vmcs->host_state is invalid.
381 void vmx_set_constant_host_state(struct vcpu_vmx *vmx);
394 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx);
407 struct vmx_uret_msr *vmx_find_uret_msr(struct vcpu_vmx *vmx, u32 msr);
409 void vmx_update_host_rsp(struct vcpu_vmx *vmx, unsigned long host_rsp);
410 void vmx_spec_ctrl_restore_host(struct vcpu_vmx *vmx, unsigned int flags);
411 unsigned int __vmx_vcpu_run_flags(struct vcpu_vmx *vmx);
412 bool __vmx_vcpu_run(struct vcpu_vmx *vmx, unsigned long *regs,
582 static inline void lname##_controls_set(struct vcpu_vmx *vmx, u##bits val) \
584 if (vmx->loaded_vmcs->controls_shadow.lname != val) { \
586 vmx->loaded_vmcs->controls_shadow.lname = val; \
593 static inline u##bits lname##_controls_get(struct vcpu_vmx *vmx) \
595 return __##lname##_controls_get(vmx->loaded_vmcs); \
597 static __always_inline void lname##_controls_setbit(struct vcpu_vmx *vmx, u##bits val) \
600 lname##_controls_set(vmx, lname##_controls_get(vmx) | val); \
602 static __always_inline void lname##_controls_clearbit(struct vcpu_vmx *vmx, u##bits val) \
605 lname##_controls_set(vmx, lname##_controls_get(vmx) & ~val); \
679 struct vcpu_vmx *vmx = to_vmx(vcpu);
682 vmx->exit_qualification = vmcs_readl(EXIT_QUALIFICATION);
684 return vmx->exit_qualification;
689 struct vcpu_vmx *vmx = to_vmx(vcpu);
692 vmx->exit_intr_info = vmcs_read32(VM_EXIT_INTR_INFO);
694 return vmx->exit_intr_info;
709 static inline bool vmx_has_waitpkg(struct vcpu_vmx *vmx)
711 return secondary_exec_controls_get(vmx) &