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