Searched refs:tbi_flag (Results 1 – 1 of 1) sorted by relevance
42 int tbi_flag = 2; in ev4_flush_tlb_current_page() local45 tbi_flag = 3; in ev4_flush_tlb_current_page()47 tbi(tbi_flag, addr); in ev4_flush_tlb_current_page()