SPR_PID
KASSERT(pmap->pm_pid == mfspr(SPR_PID),
mfspr(SPR_PID)));
curpid = mfspr(SPR_PID);
mtspr(SPR_PID, pmap->pm_pid);