ACPI_SIG_GTDT
if (ACPI_FAILURE(acpi_get_table(ACPI_SIG_GTDT, 0, &table)))
TIMER_ACPI_DECLARE(arch_timer, ACPI_SIG_GTDT, arch_timer_acpi_init);