fRefcount
fIsKernel, fPageTable, fASID, fRefcount);
ASSERT(fRefcount == 0);
from->fRefcount--;
to->fRefcount++;
if (sAsidMapping[i]->fRefcount == 0) {
int fRefcount;