src/osf1.server/usr/include/mach/mips
