read_c0_config3
config3 = read_c0_config3();
if (!(read_c0_config3() & MIPS_CONF3_CMGCR))
str_yes_no(read_c0_config3() & MIPS_CONF3_ISA_OE));
unsigned int config3 = read_c0_config3();
pr_info("CP0_Config3: CP0 16.3 (0x%x)\n", read_c0_config3());