Lines Matching refs:vcpu
116 vmcb_access(struct svm_softc *softc, int vcpu, int write, int ident,
123 vmcb = svm_get_vmcb(softc, vcpu);
145 VCPU_CTR1(softc->vm, vcpu,
152 svm_set_dirty(softc, vcpu, 0xffffffff);
161 vmcb_read(struct svm_softc *sc, int vcpu, int ident, uint64_t *retval)
168 vmcb = svm_get_vmcb(sc, vcpu);
173 return (vmcb_access(sc, vcpu, 0, ident, retval));
251 vmcb_write(struct svm_softc *sc, int vcpu, int ident, uint64_t val)
258 vmcb = svm_get_vmcb(sc, vcpu);
264 return (vmcb_access(sc, vcpu, 1, ident, &val));
269 svm_set_dirty(sc, vcpu, VMCB_CACHE_CR);
274 svm_set_dirty(sc, vcpu, VMCB_CACHE_CR2);
279 svm_set_dirty(sc, vcpu, VMCB_CACHE_CR);
284 svm_set_dirty(sc, vcpu, VMCB_CACHE_CR);
289 svm_set_dirty(sc, vcpu, VMCB_CACHE_DR);
294 svm_set_dirty(sc, vcpu, VMCB_CACHE_DR);
300 svm_set_dirty(sc, vcpu, VMCB_CACHE_CR);
333 svm_set_dirty(sc, vcpu, VMCB_CACHE_SEG);
364 vmcb_setdesc(void *arg, int vcpu, int reg, struct seg_desc *desc)
372 vmcb = svm_get_vmcb(sc, vcpu);
394 VCPU_CTR4(sc->vm, vcpu, "Setting desc %d: base (%#lx), limit (%#x), "
402 svm_set_dirty(sc, vcpu, VMCB_CACHE_SEG);
406 svm_set_dirty(sc, vcpu, VMCB_CACHE_DT);
416 vmcb_getdesc(void *arg, int vcpu, int reg, struct seg_desc *desc)
423 vmcb = svm_get_vmcb(sc, vcpu);