/* Reads the base/extended device id from a device. Returns the 8/16-bit device ID.  */
static u16 rio_get_device_id(struct rio_mport *port, u16 destid, u8 hopcount)
/* Reads the base/extended device id from a device. Returns the 8/16-bit device ID.  */
static u16 rio_get_device_id(struct rio_mport *port, u16 destid, u8 hopcount)
{
	u32 result;
	rio_mport_read_config_32(port, destid, hopcount, RIO_DID_CSR, &result);
	return RIO_GET_DID(port->sys_size, result);
}