46 struct bcm2835_wdt {  struct
51 static struct bcm2835_wdt *bcm2835_power_off_wdt;  argument
56 static bool bcm2835_wdt_is_running(struct bcm2835_wdt *wdt)  in bcm2835_wdt_is_running()
67 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_wdt_start()
86 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_wdt_stop()
94 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_wdt_get_timeleft()
100 static void __bcm2835_restart(struct bcm2835_wdt *wdt)  in __bcm2835_restart()
118 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_restart()
154 	struct bcm2835_wdt *wdt = bcm2835_power_off_wdt;  in bcm2835_power_off()
174 	struct bcm2835_wdt *wdt;  in bcm2835_wdt_probe()
177 	wdt = devm_kzalloc(dev, sizeof(struct bcm2835_wdt), GFP_KERNEL);  in bcm2835_wdt_probe()