/* Writes the base/extended device id from a device.  */
static void rio_set_device_id(struct rio_mport *port, u16 destid, u8 hopcount, u16 did)
/* Writes the base/extended device id from a device.  */
static void rio_set_device_id(struct rio_mport *port, u16 destid, u8 hopcount, u16 did)
{
	rio_mport_write_config_32(port, destid, hopcount, RIO_DID_CSR,
				  RIO_SET_DID(port->sys_size, did));
}