Symbol: PLATID_MACH_PHILIPS
sys/arch/hpc/hpc/platid_mask.c
550
PLATID_MACH_PHILIPS
sys/arch/hpc/include/platid_generated.h
820
PLATID_MACH_PHILIPS)