|
@@ -246,10 +246,6 @@ void __init add_wired_entry(unsigned long entrylo0, unsigned long entrylo1,
|
|
old_pagemask = read_c0_pagemask();
|
|
old_pagemask = read_c0_pagemask();
|
|
w = read_c0_wired();
|
|
w = read_c0_wired();
|
|
write_c0_wired(w + 1);
|
|
write_c0_wired(w + 1);
|
|
- if (read_c0_wired() != w + 1) {
|
|
|
|
- printk("[tlbwired] No WIRED reg?\n");
|
|
|
|
- return;
|
|
|
|
- }
|
|
|
|
write_c0_index(w << 8);
|
|
write_c0_index(w << 8);
|
|
write_c0_pagemask(pagemask);
|
|
write_c0_pagemask(pagemask);
|
|
write_c0_entryhi(entryhi);
|
|
write_c0_entryhi(entryhi);
|