/* Pause watchdog operation. 
Sets the pause signal to stop the watchdog timing */
int intel_adsp_watchdog_pause(const struct device *dev, const int channel_id)
/* Pause watchdog operation. 
Sets the pause signal to stop the watchdog timing */
int intel_adsp_watchdog_pause(const struct device *dev, const int channel_id)
{
	const struct intel_adsp_wdt_dev_cfg *const dev_config = dev->config;
	if (channel_id >= arch_num_cpus()) {
		return -EINVAL;
	}
	intel_adsp_wdt_pause(dev_config->base, channel_id);
	return 0;
}