Files
picofe-irixxxx/linux/plat.c