pte_t
pte_t *ci_tsb_dmmu;
pte_t *ci_tsb_immu;
extern pte_t *tsb_dmmu, *tsb_immu;
void db_dump_tsb_common(pte_t *);
db_dump_tsb_common(pte_t *tsb)
ci->ci_tsb_dmmu = (pte_t *)kdata_alloc(TSBSIZE, TSBSIZE);
ci->ci_tsb_immu = (pte_t *)kdata_alloc(TSBSIZE, TSBSIZE);
pte_t tte;
pte_t tte;
return (tsbptr / sizeof(pte_t));
pte_t *tp;
tp = (pte_t *)(v + mp_tramp_code_len);