Searched refs:r3k_have_wired_reg (Results 1 – 2 of 2) sorted by relevance
40 int r3k_have_wired_reg; /* Should be in cpu_data? */ variable66 local_flush_tlb_from(r3k_have_wired_reg ? read_c0_wired() : 8); in local_flush_tlb_all()240 if (r3k_have_wired_reg) { /* TX39XX */ in add_wired_entry()291 r3k_have_wired_reg = 1; in tlb_init()
18 extern int r3k_have_wired_reg;25 if (r3k_have_wired_reg) in dump_tlb_regs()
