Symbol: PLATID_MACH_PHILIPS_NINO_3XX
sys/arch/hpc/hpc/platid_mask.c
558
PLATID_MACH_PHILIPS_NINO_3XX
sys/arch/hpc/include/platid_generated.h
834
PLATID_MACH_PHILIPS_NINO_3XX)