linux/arch/mips/lib