98 	int	lastcpu;	/* host cpu that this 'vcpu' last ran on */
129 	struct vcpu	*vcpu;  member
152 #define	VMX_CTR0(vcpu, format)						\  argument
153 	VCPU_CTR0((vcpu)->vmx->vm, (vcpu)->vcpuid, format)
155 #define	VMX_CTR1(vcpu, format, p1)					\  argument
156 	VCPU_CTR1((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1)
158 #define	VMX_CTR2(vcpu, format, p1, p2)					\  argument
159 	VCPU_CTR2((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1, p2)
161 #define	VMX_CTR3(vcpu, format, p1, p2, p3)				\  argument
162 	VCPU_CTR3((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1, p2, p3)
164 #define	VMX_CTR4(vcpu, format, p1, p2, p3, p4)				\  argument
165 	VCPU_CTR4((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
176 int	vmx_set_tsc_offset(struct vmx_vcpu *vcpu, uint64_t offset);