MIPSR6_WIRED_LIMIT
limit = (read_c0_wired() & MIPSR6_WIRED_LIMIT) >>
read_gc0_wired() & MIPSR6_WIRED_LIMIT);