Symbol: PLATID_MACH_HP_JORNADA_8XX
sys/arch/hpc/hpc/platid_mask.c
868
PLATID_MACH_HP_JORNADA_8XX
sys/arch/hpc/include/platid_generated.h
1358
PLATID_MACH_HP_JORNADA_8XX)
sys/arch/hpc/include/platid_generated.h
1365
PLATID_MACH_HP_JORNADA_8XX)