Lines Matching refs:vcpu_vmx
188 struct vcpu_vmx { struct
311 void vmx_set_constant_host_state(struct vcpu_vmx *vmx);
324 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx);
334 struct shared_msr_entry *find_msr_entry(struct vcpu_vmx *vmx, u32 msr);
335 void pt_update_intercept_for_msr(struct vcpu_vmx *vmx);
336 void vmx_update_host_rsp(struct vcpu_vmx *vmx, unsigned long host_rsp);
405 static inline void lname##_controls_set(struct vcpu_vmx *vmx, u32 val) \
412 static inline u32 lname##_controls_get(struct vcpu_vmx *vmx) \
416 static inline void lname##_controls_setbit(struct vcpu_vmx *vmx, u32 val) \
420 static inline void lname##_controls_clearbit(struct vcpu_vmx *vmx, u32 val) \
430 static inline void vmx_segment_cache_clear(struct vcpu_vmx *vmx) in BUILD_CONTROLS_SHADOW()
457 u32 vmx_exec_control(struct vcpu_vmx *vmx);
458 u32 vmx_pin_based_exec_ctrl(struct vcpu_vmx *vmx);
465 static inline struct vcpu_vmx *to_vmx(struct kvm_vcpu *vcpu) in to_vmx()
467 return container_of(vcpu, struct vcpu_vmx, vcpu); in to_vmx()
508 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx) in decache_tsc_multiplier()
514 static inline bool vmx_has_waitpkg(struct vcpu_vmx *vmx) in vmx_has_waitpkg()