MMID_KERNEL_WIRED
static u32 cur_idx = MMID_KERNEL_WIRED + 1;
__set_bit(MMID_KERNEL_WIRED, mmid_map);
__set_bit(MMID_KERNEL_WIRED, mmid_map);
write_c0_memorymapid(MMID_KERNEL_WIRED);
write_c0_memorymapid(MMID_KERNEL_WIRED);