#ifndef BCM63XX_DEV_WDT_H_ #define BCM63XX_DEV_WDT_H_ int bcm63xx_wdt_register(void); #endif /* BCM63XX_DEV_WDT_H_ */