src/distrib/sgimips/instkernel
