Lines Matching defs:base

13 void sbsa_watchdog_offset_reg_write(uintptr_t base, uint64_t value)
16 	mmio_write_32(base + SBSA_WDOG_WOR_LOW_OFFSET,
18 	mmio_write_32(base + SBSA_WDOG_WOR_HIGH_OFFSET, (uint32_t)(value >> 32));
22  * Start the watchdog timer at base address "base" for a
26 void sbsa_wdog_start(uintptr_t base, uint64_t ms)
34 	sbsa_watchdog_offset_reg_write(base, offset_reg_value);
35 	mmio_write_32(base + SBSA_WDOG_WCS_OFFSET, SBSA_WDOG_WCS_EN);
39 void sbsa_wdog_stop(uintptr_t base)
41 	mmio_write_32(base + SBSA_WDOG_WCS_OFFSET, (0x0));