max_destid 1548 drivers/rapidio/rio.c u32 max_destid = 0xff; max_destid 1559 drivers/rapidio/rio.c &max_destid); max_destid 1560 drivers/rapidio/rio.c max_destid &= RIO_RT_MAX_DESTID; max_destid 1572 drivers/rapidio/rio.c for (i = 0; i <= max_destid;) {