/* The board id and revision are stored both in the reset register and in the PCI configuration space - the documentation says to check each of them. If revp!=NULL we store the revision there  */
static int check_board_id_and_rev(const char *name, u32 val, int *revp)
/* The board id and revision are stored both in the reset register and in the PCI configuration space - the documentation says to check each of them. If revp!=NULL we store the revision there  */
static int check_board_id_and_rev(const char *name, u32 val, int *revp)
{
	DPRINTK("%s says board_id=%d, board_rev=%d\n", name,
		(int) RESET_GET_BOARD_ID(val),
		(int) RESET_GET_BOARD_REV(val));
	if (RESET_GET_BOARD_ID(val) != BOARD_ID_LANAI256) {
		printk(KERN_ERR DEV_LABEL ": Found %s board-id %d -- not a "
		    "Lanai 25.6\n", name, (int) RESET_GET_BOARD_ID(val));
		return -ENODEV;
	}
	if (revp != NULL)
		*revp = RESET_GET_BOARD_REV(val);
	return 0;
}