R5K_CONF_SE        65 arch/mips/mm/sc-r5k.c 	set_c0_config(R5K_CONF_SE);
R5K_CONF_SE        76 arch/mips/mm/sc-r5k.c 	clear_c0_config(R5K_CONF_SE);