TSBSIZE
firstaddr = ((firstaddr + TSBSIZE - 1) & ~(TSBSIZE-1));
valloc(tsb_dmmu, pte_t, TSBSIZE);
bzero(tsb_dmmu, TSBSIZE);
valloc(tsb_immu, pte_t, TSBSIZE);
bzero(tsb_immu, TSBSIZE);
(int)TSBSIZE));