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