root/sys/arch/hpcmips/stand/pbsdboot/platid.c 
#include <stand.h>

#include "../../../hpc/hpc/platid.c"