root/sys/arch/hpcmips/stand/pbsdboot/platid_mask.c 
#include "../../../hpc/hpc/platid_mask.c"