prcmu_config_a9wdog  103 drivers/watchdog/ux500_wdt.c 	prcmu_config_a9wdog(PRCMU_WDOG_CPU1, false);
prcmu_config_a9wdog  123 drivers/watchdog/ux500_wdt.c 		prcmu_config_a9wdog(PRCMU_WDOG_CPU1, true);
prcmu_config_a9wdog  135 drivers/watchdog/ux500_wdt.c 		prcmu_config_a9wdog(PRCMU_WDOG_CPU1, false);