Lines Matching defs:vcpustate
1559 struct svm_vcpu *vcpustate;
1565 vcpustate = svm_get_vcpu(sc, vcpu);
1570 if (vcpustate->nextrip != state->rip) {
1574 vcpustate->nextrip, state->rip);
1789 struct svm_vcpu *vcpustate;
1797 vcpustate = svm_get_vcpu(sc, vcpuid);
1810 * the 'vcpustate'. This happens when the host invalidates pages
1839 if (vcpustate->asid.gen != asid[thiscpu].gen) {
1841 } else if (vcpustate->eptgen != eptgen) {
1869 vcpustate->asid.gen = asid[thiscpu].gen;
1870 vcpustate->asid.num = asid[thiscpu].num;
1872 ctrl->asid = vcpustate->asid.num;
1882 vcpustate->eptgen = eptgen;
1885 KASSERT(ctrl->asid == vcpustate->asid.num,
1886 ("ASID mismatch: %u/%u", ctrl->asid, vcpustate->asid.num));
1912 struct svm_vcpu *vcpustate;
1924 vcpustate = svm_get_vcpu(svm_sc, vcpu);
1933 if (vcpustate->lastcpu != curcpu) {
1937 vcpustate->asid.gen = 0;
1946 * Setting 'vcpustate->lastcpu' here is bit premature because
1954 vcpustate->lastcpu = curcpu;
2009 ctrl->vmcb_clean = vmcb_clean & ~vcpustate->dirty;
2010 vcpustate->dirty = 0;
2030 vcpustate->nextrip = state->rip;