src/sys/arch/hpc/hpc/platid_gen
