acpi_gtdt_watchdog
static int __init gtdt_import_sbsa_gwdt(struct acpi_gtdt_watchdog *wd,
struct acpi_gtdt_watchdog *wd = platform_timer;