Symbol: PLATID_MACH_IBM_WORKPAD
sys/arch/hpc/hpc/platid_mask.c
712
PLATID_MACH_IBM_WORKPAD
sys/arch/hpc/include/platid_generated.h
1093
PLATID_MACH_IBM_WORKPAD)