linux/kernel/arch/mips/ddb5xxx
