40 	uint32_t	rflags_tf;   /* saved RFLAGS.TF value when single-stepping a vcpu */
52 	struct vcpu	*vcpu;  member
53 	struct vmcb	*vmcb;	 /* hardware saved vcpu context */
54 	struct svm_regctx swctx; /* software saved vcpu context */
57         int		lastcpu; /* host cpu that the vcpu last ran on */
59 	long		eptgen;	 /* pmap->pm_eptgen when the vcpu last ran */
77 #define	SVM_CTR0(vcpu, format)						\  argument
78 	VCPU_CTR0((vcpu)->sc->vm, (vcpu)->vcpuid, format)
80 #define	SVM_CTR1(vcpu, format, p1)					\  argument
81 	VCPU_CTR1((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1)
83 #define	SVM_CTR2(vcpu, format, p1, p2)					\  argument
84 	VCPU_CTR2((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2)
86 #define	SVM_CTR3(vcpu, format, p1, p2, p3)				\  argument
87 	VCPU_CTR3((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3)
89 #define	SVM_CTR4(vcpu, format, p1, p2, p3, p4)				\  argument
90 	VCPU_CTR4((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
93 svm_get_vmcb(struct svm_vcpu *vcpu)  in svm_get_vmcb()  argument
96 	return (vcpu->vmcb);  in svm_get_vmcb()
100 svm_get_vmcb_state(struct svm_vcpu *vcpu)  in svm_get_vmcb_state()  argument
103 	return (&vcpu->vmcb->state);  in svm_get_vmcb_state()
107 svm_get_vmcb_ctrl(struct svm_vcpu *vcpu)  in svm_get_vmcb_ctrl()  argument
110 	return (&vcpu->vmcb->ctrl);  in svm_get_vmcb_ctrl()
114 svm_get_guest_regctx(struct svm_vcpu *vcpu)  in svm_get_guest_regctx()  argument
117 	return (&vcpu->swctx);  in svm_get_guest_regctx()
121 svm_set_dirty(struct svm_vcpu *vcpu, uint32_t dirtybits)  in svm_set_dirty()  argument
124         vcpu->dirty |= dirtybits;  in svm_set_dirty()