Lines Matching refs:vmx
210 * If true, host state has been stored in vmx->loaded_vmcs for
214 * and vmx->loaded_vmcs->host_state is invalid.
339 void vmx_set_constant_host_state(struct vcpu_vmx *vmx);
351 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx);
366 struct vmx_uret_msr *vmx_find_uret_msr(struct vcpu_vmx *vmx, u32 msr);
368 void vmx_update_host_rsp(struct vcpu_vmx *vmx, unsigned long host_rsp);
369 void vmx_spec_ctrl_restore_host(struct vcpu_vmx *vmx, unsigned int flags);
370 unsigned int __vmx_vcpu_run_flags(struct vcpu_vmx *vmx);
371 bool __vmx_vcpu_run(struct vcpu_vmx *vmx, unsigned long *regs,
382 static inline void lname##_controls_set(struct vcpu_vmx *vmx, u32 val) \
384 if (vmx->loaded_vmcs->controls_shadow.lname != val) { \
386 vmx->loaded_vmcs->controls_shadow.lname = val; \
393 static inline u32 lname##_controls_get(struct vcpu_vmx *vmx) \
395 return __##lname##_controls_get(vmx->loaded_vmcs); \
397 static inline void lname##_controls_setbit(struct vcpu_vmx *vmx, u32 val) \
399 lname##_controls_set(vmx, lname##_controls_get(vmx) | val); \
401 static inline void lname##_controls_clearbit(struct vcpu_vmx *vmx, u32 val) \
403 lname##_controls_set(vmx, lname##_controls_get(vmx) & ~val); \
447 u32 vmx_exec_control(struct vcpu_vmx *vmx);
448 u32 vmx_pin_based_exec_ctrl(struct vcpu_vmx *vmx);
462 struct vcpu_vmx *vmx = to_vmx(vcpu);
466 vmx->exit_qualification = vmcs_readl(EXIT_QUALIFICATION);
468 return vmx->exit_qualification;
473 struct vcpu_vmx *vmx = to_vmx(vcpu);
477 vmx->exit_intr_info = vmcs_read32(VM_EXIT_INTR_INFO);
479 return vmx->exit_intr_info;
494 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx)
496 vmx->current_tsc_ratio = vmx->vcpu.arch.tsc_scaling_ratio;
497 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio);
500 static inline bool vmx_has_waitpkg(struct vcpu_vmx *vmx)
502 return secondary_exec_controls_get(vmx) &