+ // NOTE: The display name is not overridden if active == false.
+ void set_device_parameters(DeviceSpec device_spec, const std::string &display_name, CardType card_type, unsigned num_channels, bool active);
+ bool get_active(DeviceSpec device_spec);