arm/acpi/sbsawdt_acpi.c

46 #include <sys/wdog.h>
109 	ACPI_GTDT_WATCHDOG * const wdog = aux;
111 	if ((wdog->TimerFlags & ACPI_GTDT_WATCHDOG_SECURE) != 0)
121 	ACPI_GTDT_WATCHDOG * const wdog = aux;
125 	    wdog->RefreshFrameAddress, wdog->RefreshFrameAddress + SBSAWDT_REFRESH_SIZE - 1,
126 	    wdog->ControlFrameAddress, wdog->ControlFrameAddress + SBSAWDT_CONTROL_SIZE - 1);
132 	if (bus_space_map(sc->sc_bst, wdog->RefreshFrameAddress, SBSAWDT_REFRESH_SIZE, 0, &sc->sc_bsh_r) != 0) {
136 	if (bus_space_map(sc->sc_bst, wdog->ControlFrameAddress, SBSAWDT_CONTROL_SIZE, 0, &sc->sc_bsh_c) != 0) {