14 static inline void sp805_write_wdog_load(uintptr_t base, uint32_t value)  in sp805_write_wdog_load()  argument
16 	mmio_write_32(base + SP805_WDOG_LOAD_OFF, value);  in sp805_write_wdog_load()
19 static inline void sp805_write_wdog_ctrl(uintptr_t base, uint32_t value)  in sp805_write_wdog_ctrl()  argument
21 	mmio_write_32(base + SP805_WDOG_CTR_OFF, value);  in sp805_write_wdog_ctrl()
24 static inline void sp805_write_wdog_lock(uintptr_t base, uint32_t value)  in sp805_write_wdog_lock()  argument
26 	mmio_write_32(base + SP805_WDOG_LOCK_OFF, value);  in sp805_write_wdog_lock()
32 void sp805_start(uintptr_t base, unsigned int ticks)  in sp805_start()  argument
34 	sp805_write_wdog_load(base, ticks);  in sp805_start()
35 	sp805_write_wdog_ctrl(base, SP805_CTR_RESEN | SP805_CTR_INTEN);  in sp805_start()
37 	sp805_write_wdog_lock(base, 0U);  in sp805_start()
40 void sp805_stop(uintptr_t base)  in sp805_stop()  argument
42 	sp805_write_wdog_lock(base, WDOG_UNLOCK_KEY);  in sp805_stop()
43 	sp805_write_wdog_ctrl(base, 0U);  in sp805_stop()
46 void sp805_refresh(uintptr_t base, unsigned int ticks)  in sp805_refresh()  argument
48 	sp805_write_wdog_lock(base, WDOG_UNLOCK_KEY);  in sp805_refresh()
49 	sp805_write_wdog_load(base, ticks);  in sp805_refresh()
50 	sp805_write_wdog_lock(base, 0U);  in sp805_refresh()