Files
linux/arch/mips/sgi-ip32/ip32-setup.c