Symbol: PLATID_MACH_HP_JORNADA_820JP
sys/arch/hpc/hpc/platid_mask.c
876
PLATID_MACH_HP_JORNADA_820JP
sys/arch/hpc/stand/hpcboot/machine_config.cpp
117
{ PLATID_CPU_ARM_STRONGARM_SA1100 , PLATID_MACH_HP_JORNADA_820JP , 8, 640, 480, 0, 0x00000000 },