Symbol: PLATID_MACH_PSIONTEKLOGIX_NETBOOK_PRO
sys/arch/hpc/hpc/platid_mask.c
962
PLATID_MACH_PSIONTEKLOGIX_NETBOOK_PRO
sys/arch/hpc/stand/hpcboot/machine_config.cpp
123
{ PLATID_CPU_ARM_XSCALE_PXA250 , PLATID_MACH_PSIONTEKLOGIX_NETBOOK_PRO, 16, 800, 600, 1600, 0x14200000 },