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));