R5K_Page_Invalidate_S   31 arch/mips/mm/sc-r5k.c 		cache_op(R5K_Page_Invalidate_S, start);
R5K_Page_Invalidate_S   55 arch/mips/mm/sc-r5k.c 		cache_op(R5K_Page_Invalidate_S, a);