acpi_table_gtdt    32 drivers/acpi/arm64/gtdt.c 	struct acpi_table_gtdt *gtdt;
acpi_table_gtdt    97 drivers/acpi/arm64/gtdt.c 	struct acpi_table_gtdt *gtdt = acpi_gtdt_desc.gtdt;
acpi_table_gtdt   126 drivers/acpi/arm64/gtdt.c 	struct acpi_table_gtdt *gtdt = acpi_gtdt_desc.gtdt;
acpi_table_gtdt   159 drivers/acpi/arm64/gtdt.c 	struct acpi_table_gtdt *gtdt;
acpi_table_gtdt   161 drivers/acpi/arm64/gtdt.c 	gtdt = container_of(table, struct acpi_table_gtdt, header);
acpi_table_gtdt   180 drivers/acpi/arm64/gtdt.c 	if (platform_timer < (void *)table + sizeof(struct acpi_table_gtdt)) {