Searched refs:TS7XXX_WDOGFEED (Results 1 – 3 of 3) sorted by relevance
56 #define TS7XXX_WDOGFEED 0x03c00000UL macro
290 feed = TS7XXX_IO16_VBASE + TS7XXX_WDOGFEED; in cpu_reboot()
422 bus_space_map(sc->sc_iot, TS7XXX_IO16_HWBASE + TS7XXX_WDOGFEED, 2, 0, in tspldattach()