58 	uintptr_t reg_base = DEVICE_MMIO_GET(dev);  in dw_wdt_setup()  local
68 	dw_wdt_response_mode_set((uint32_t)reg_base, !!dev_data->callback);  in dw_wdt_setup()
71 	return dw_wdt_configure((uint32_t)reg_base, dev_data->config);  in dw_wdt_setup()
78 	uintptr_t reg_base = DEVICE_MMIO_GET(dev);  local
102 	return dw_wdt_calc_period((uint32_t)reg_base, dev_data->clk_freq, config,
108 	uintptr_t reg_base = DEVICE_MMIO_GET(dev);  local
115 	dw_wdt_counter_restart((uint32_t)reg_base);
163 	uintptr_t reg_base = DEVICE_MMIO_GET(dev);  local
189 	ret = dw_wdt_probe((uint32_t)reg_base, dev_config->reset_pulse_length);
206 		dw_wdt_enable((uint32_t)reg_base);
216 	uintptr_t reg_base = DEVICE_MMIO_GET(dev);  local
218 	if (dw_wdt_interrupt_status_register_get((uint32_t)reg_base)) {