RESET_GET_BOARD_ID 1917 drivers/atm/lanai.c (int) RESET_GET_BOARD_ID(val), RESET_GET_BOARD_ID 1919 drivers/atm/lanai.c if (RESET_GET_BOARD_ID(val) != BOARD_ID_LANAI256) { RESET_GET_BOARD_ID 1921 drivers/atm/lanai.c "Lanai 25.6\n", name, (int) RESET_GET_BOARD_ID(val));