bcm_wdt_writel
bcm_wdt_writel(WDT_STOP_1, WDT_CTL_REG);
bcm_wdt_writel(WDT_STOP_2, WDT_CTL_REG);
bcm_wdt_writel(1, WDT_SOFTRESET_REG);