Lines Matching refs:vcpu
40 uint32_t rflags_tf; /* saved RFLAGS.TF value when single-stepping a vcpu */
52 struct vcpu *vcpu;
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) \
78 VCPU_CTR0((vcpu)->sc->vm, (vcpu)->vcpuid, format)
80 #define SVM_CTR1(vcpu, format, p1) \
81 VCPU_CTR1((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1)
83 #define SVM_CTR2(vcpu, format, p1, p2) \
84 VCPU_CTR2((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2)
86 #define SVM_CTR3(vcpu, format, p1, p2, p3) \
87 VCPU_CTR3((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3)
89 #define SVM_CTR4(vcpu, format, p1, p2, p3, p4) \
90 VCPU_CTR4((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
93 svm_get_vmcb(struct svm_vcpu *vcpu)
96 return (vcpu->vmcb);
100 svm_get_vmcb_state(struct svm_vcpu *vcpu)
103 return (&vcpu->vmcb->state);
107 svm_get_vmcb_ctrl(struct svm_vcpu *vcpu)
110 return (&vcpu->vmcb->ctrl);
114 svm_get_guest_regctx(struct svm_vcpu *vcpu)
117 return (&vcpu->swctx);
121 svm_set_dirty(struct svm_vcpu *vcpu, uint32_t dirtybits)
124 vcpu->dirty |= dirtybits;