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