TSR_KIND_PERCPU_BASE
tsr->kind = TSR_KIND_PERCPU_BASE;
if (tsr->kind != TSR_KIND_PERCPU_BASE)
state->regs[sreg].kind == TSR_KIND_PERCPU_BASE) {
tsr->kind = TSR_KIND_PERCPU_BASE;
if (state->regs[reg].kind == TSR_KIND_PERCPU_BASE) {
case TSR_KIND_PERCPU_BASE: