gtdt_end           33 drivers/acpi/arm64/gtdt.c 	void *gtdt_end;
gtdt_end           44 drivers/acpi/arm64/gtdt.c 	if (platform_timer < acpi_gtdt_desc.gtdt_end)
gtdt_end          163 drivers/acpi/arm64/gtdt.c 	acpi_gtdt_desc.gtdt_end = (void *)table + table->length;