Symbol: HPPA_BOARD_HP712_80
sys/arch/hppa/dev/cpudevs_data.h
161
{HPPA_TYPE_BOARD, HPPA_BOARD_HP712_80, "712/80 (King Gecko)" },
sys/arch/hppa/dev/lasi.c
134
case HPPA_BOARD_HP712_80:
sys/arch/hppa/dev/power.c
92
case HPPA_BOARD_HP712_80: