read_c0_config7
if (read_c0_config7() & MTI_CONF7_PTC)
write_c0_config7(read_c0_config7() | MIPS_CONF7_RPS);
if (read_c0_config7() & MIPS_CONF7_WII)
printk("Config7: 0x%08x\n", read_c0_config7());
unsigned int oconfig7 = read_c0_config7();
write_vpe_c0_config7(read_c0_config7());
if (!(read_c0_config7() & MIPS_CONF7_IAR) &&
if (!has_74k_erratum && (read_c0_config7() & MIPS_CONF7_AR)) {