RESET_GET_BOARD_REV 1918 drivers/atm/lanai.c 		(int) RESET_GET_BOARD_REV(val));
RESET_GET_BOARD_REV 1925 drivers/atm/lanai.c 		*revp = RESET_GET_BOARD_REV(val);