/libc/kernel/arch-mips/