Searched refs:tbi_flag (Results 1 – 1 of 1) sorted by relevance
41 int tbi_flag = 2; in ev4_flush_tlb_current_page() local44 tbi_flag = 3; in ev4_flush_tlb_current_page()46 tbi(tbi_flag, addr); in ev4_flush_tlb_current_page()