Symbol: PLATID_MACH_HP_JORNADA_820
sys/arch/hpc/hpc/platid_mask.c
872
PLATID_MACH_HP_JORNADA_820
sys/arch/hpc/stand/hpcboot/machine_config.cpp
116
{ PLATID_CPU_ARM_STRONGARM_SA1100 , PLATID_MACH_HP_JORNADA_820 , 8, 640, 480, 0, 0x00000000 },