Symbol: HPPA_BOARD_HP712_100
sys/arch/hppa/dev/cpudevs_data.h
162
{HPPA_TYPE_BOARD, HPPA_BOARD_HP712_100, "712/100 (King Gecko)" },
sys/arch/hppa/dev/lasi.c
135
case HPPA_BOARD_HP712_100:
sys/arch/hppa/dev/power.c
93
case HPPA_BOARD_HP712_100: