osfmk/tools/ppc
