Lines Matching refs:tsbp
689 caddr_t tsbp; in mondo_recover_proc() local
742 tsbp = tsbinfop->tsb_va; in mondo_recover_proc()
743 end_tsbp = tsbp + TSB_BYTES(tsbinfop->tsb_szc); in mondo_recover_proc()
747 tsbp = ktsb_base; in mondo_recover_proc()
748 end_tsbp = tsbp + TSB_BYTES(ktsb_sz); in mondo_recover_proc()
797 for (tsbep = (struct tsbe *)tsbp; in mondo_recover_proc()
847 tsbp = tsbinfop->tsb_va; in mondo_recover_proc()
848 end_tsbp = tsbp + TSB_BYTES(tsbinfop->tsb_szc); in mondo_recover_proc()
849 } else if (tsbp == ktsb_base) { in mondo_recover_proc()
852 tsbp = ktsb_base; in mondo_recover_proc()
853 end_tsbp = tsbp + TSB_BYTES(ktsb_sz); in mondo_recover_proc()
858 ((tsbp == ktsb_base) && !tried_kernel_tsb)); in mondo_recover_proc()