Symbol: RESET_GET_BOARD_ID
drivers/atm/lanai.c
1916
(int) RESET_GET_BOARD_ID(val),
drivers/atm/lanai.c
1918
if (RESET_GET_BOARD_ID(val) != BOARD_ID_LANAI256) {
drivers/atm/lanai.c
1920
"Lanai 25.6\n", name, (int) RESET_GET_BOARD_ID(val));