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);