47 struct bcm2835_wdt {  struct
52 static struct bcm2835_wdt *bcm2835_power_off_wdt;  argument
57 static bool bcm2835_wdt_is_running(struct bcm2835_wdt *wdt)  in bcm2835_wdt_is_running()
68 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_wdt_start()
87 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_wdt_stop()
95 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_wdt_get_timeleft()
101 static void __bcm2835_restart(struct bcm2835_wdt *wdt)  in __bcm2835_restart()
119 	struct bcm2835_wdt *wdt = watchdog_get_drvdata(wdog);  in bcm2835_restart()
155 	struct bcm2835_wdt *wdt = bcm2835_power_off_wdt;  in bcm2835_power_off()
175 	struct bcm2835_wdt *wdt;  in bcm2835_wdt_probe()
178 	wdt = devm_kzalloc(dev, sizeof(struct bcm2835_wdt), GFP_KERNEL);  in bcm2835_wdt_probe()