Searched refs:gtdt_end (Results 1 – 1 of 1) sorted by relevance
33 void *gtdt_end; member44 if (platform_timer < acpi_gtdt_desc.gtdt_end) in next_platform_timer()163 acpi_gtdt_desc.gtdt_end = (void *)table + table->length; in acpi_gtdt_init()