Searched refs:old_ctx (Results 1 – 3 of 3) sorted by relevance
380 unsigned long old_ctx; in local_flush_tlb_all() local386 old_ctx = read_c0_entryhigh(); in local_flush_tlb_all()404 write_c0_entryhigh(old_ctx); in local_flush_tlb_all()415 unsigned long old_ctx; in add_wired_entry() local422 old_ctx = read_c0_entryhigh(); in add_wired_entry()441 write_c0_entryhigh(old_ctx); in add_wired_entry()
381 unsigned long old_ctx; in local_flush_tlb_all() local387 old_ctx = read_c0_entryhigh(); in local_flush_tlb_all()405 write_c0_entryhigh(old_ctx); in local_flush_tlb_all()416 unsigned long old_ctx; in add_wired_entry() local423 old_ctx = read_c0_entryhigh(); in add_wired_entry()442 write_c0_entryhigh(old_ctx); in add_wired_entry()