Symbol: PLATID_MACH_HP_JORNADA
sys/arch/hpc/hpc/platid_mask.c
769
PLATID_MACH_HP_JORNADA
sys/arch/hpc/include/platid_generated.h
1188
PLATID_MACH_HP_JORNADA)
sys/arch/hpc/include/platid_generated.h
1295
PLATID_MACH_HP_JORNADA)
sys/arch/hpc/include/platid_generated.h
1351
PLATID_MACH_HP_JORNADA)
sys/arch/hpc/stand/hpcboot/machine_config.cpp
110
{ PLATID_CPU_SH_3_7709A , PLATID_MACH_HP_JORNADA , 16, 640, 240, 1280, 0xb2000000 },