Lines Matching defs:asid
124 static struct asid asid[MAXCPU];
266 asid[cpu].gen = ~0UL;
267 asid[cpu].num = nasid - 1;
526 ctrl->asid = 0;
1977 if (vcpu->asid.gen != asid[cpu].gen) {
1994 if (++asid[cpu].num >= nasid) {
1995 asid[cpu].num = 1;
1996 if (++asid[cpu].gen == 0)
1997 asid[cpu].gen = 1;
1999 * If this cpu does not support "flush-by-asid"
2007 vcpu->asid.gen = asid[cpu].gen;
2008 vcpu->asid.num = asid[cpu].num;
2010 ctrl->asid = vcpu->asid.num;
2013 * If this cpu supports "flush-by-asid" then the TLB
2022 KASSERT(ctrl->asid != 0, ("Guest ASID must be non-zero"));
2023 KASSERT(ctrl->asid == vcpu->asid.num,
2024 ("ASID mismatch: %u/%u", ctrl->asid, vcpu->asid.num));
2133 vcpu->asid.gen = 0;
2787 SNAPSHOT_VAR_OR_LEAVE(vcpu->asid.gen, meta, err, done);
2788 SNAPSHOT_VAR_OR_LEAVE(vcpu->asid.num, meta, err, done);