Symbol: PLATID_MACH_COMPAQ_IPAQ_H3900
sys/arch/hpc/hpc/platid_mask.c
666
PLATID_MACH_COMPAQ_IPAQ_H3900
sys/arch/hpc/stand/hpcboot/machine_config.cpp
122
{ PLATID_CPU_ARM_XSCALE_PXA250 , PLATID_MACH_COMPAQ_IPAQ_H3900 , 16, 320, 240, 640, 0x00000000 },