Symbol: PLATID_MACH_IBM_WORKPAD_Z50
sys/arch/hpc/hpc/platid_mask.c
716
PLATID_MACH_IBM_WORKPAD_Z50
sys/arch/hpc/include/platid_generated.h
1100
PLATID_MACH_IBM_WORKPAD_Z50)