gwdt_count        378 drivers/acpi/arm64/gtdt.c 	int ret, timer_count, gwdt_count = 0;
gwdt_count        401 drivers/acpi/arm64/gtdt.c 			ret = gtdt_import_sbsa_gwdt(platform_timer, gwdt_count);
gwdt_count        404 drivers/acpi/arm64/gtdt.c 			gwdt_count++;
gwdt_count        408 drivers/acpi/arm64/gtdt.c 	if (gwdt_count)
gwdt_count        409 drivers/acpi/arm64/gtdt.c 		pr_info("found %d SBSA generic Watchdog(s).\n", gwdt_count);