#ifndef BCM63XX_DEV_WDT_H_
#define BCM63XX_DEV_WDT_H_

int bcm63xx_wdt_register(void);

#endif /* BCM63XX_DEV_WDT_H_ */