Searched refs:tried_kernel_tsb (Results 1 – 1 of 1) sorted by relevance
696 int tried_kernel_tsb = 0; in mondo_recover_proc() local850 tried_kernel_tsb = 1; in mondo_recover_proc()851 } else if (!tried_kernel_tsb) { in mondo_recover_proc()858 ((tsbp == ktsb_base) && !tried_kernel_tsb)); in mondo_recover_proc()