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;		    \
389 static inline u32 lname##_controls_get(struct vcpu_vmx *vmx)		    \
391 	return vmx->loaded_vmcs->controls_shadow.lname;			    \
393 static inline void lname##_controls_setbit(struct vcpu_vmx *vmx, u32 val)   \
395 	lname##_controls_set(vmx, lname##_controls_get(vmx) | val);	    \
397 static inline void lname##_controls_clearbit(struct vcpu_vmx *vmx, u32 val) \
399 	lname##_controls_set(vmx, lname##_controls_get(vmx) & ~val);	    \
443 u32 vmx_exec_control(struct vcpu_vmx *vmx);
444 u32 vmx_pin_based_exec_ctrl(struct vcpu_vmx *vmx);
458 	struct vcpu_vmx *vmx = to_vmx(vcpu);  in vmx_get_exit_qual()  local
462 		vmx->exit_qualification = vmcs_readl(EXIT_QUALIFICATION);  in vmx_get_exit_qual()
464 	return vmx->exit_qualification;  in vmx_get_exit_qual()
469 	struct vcpu_vmx *vmx = to_vmx(vcpu);  in vmx_get_intr_info()  local
473 		vmx->exit_intr_info = vmcs_read32(VM_EXIT_INTR_INFO);  in vmx_get_intr_info()
475 	return vmx->exit_intr_info;  in vmx_get_intr_info()
490 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx)  in decache_tsc_multiplier()  argument
492 	vmx->current_tsc_ratio = vmx->vcpu.arch.tsc_scaling_ratio;  in decache_tsc_multiplier()
493 	vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio);  in decache_tsc_multiplier()
496 static inline bool vmx_has_waitpkg(struct vcpu_vmx *vmx)  in vmx_has_waitpkg()  argument
498 	return secondary_exec_controls_get(vmx) &  in vmx_has_waitpkg()