acpi/arm64/gtdt.c

24  * @gtdt:	The pointer to the struct acpi_table_gtdt of GTDT table.
32 	struct acpi_table_gtdt *gtdt;
43 	return (platform_timer >= (void *)(acpi_gtdt_desc.gtdt + 1) &&
103 	struct acpi_table_gtdt *gtdt = acpi_gtdt_desc.gtdt;
107 		return map_gt_gsi(gtdt->non_secure_el1_interrupt,
108 				  gtdt->non_secure_el1_flags);
110 		return map_gt_gsi(gtdt->virtual_timer_interrupt,
111 				  gtdt->virtual_timer_flags);
114 		return map_gt_gsi(gtdt->non_secure_el2_interrupt,
115 				  gtdt->non_secure_el2_flags);
132 	struct acpi_table_gtdt *gtdt = acpi_gtdt_desc.gtdt;
136 		return !(gtdt->non_secure_el1_flags & ACPI_GTDT_ALWAYS_ON);
139 		return !(gtdt->virtual_timer_flags & ACPI_GTDT_ALWAYS_ON);
142 		return !(gtdt->non_secure_el2_flags & ACPI_GTDT_ALWAYS_ON);
165 	struct acpi_table_gtdt *gtdt;
168 	gtdt = container_of(table, struct acpi_table_gtdt, header);
169 	acpi_gtdt_desc.gtdt = gtdt;
181 	if (!gtdt->platform_timer_count) {
186 	acpi_gtdt_desc.platform_timer = (void *)gtdt + gtdt->platform_timer_offset;
190 	if (cnt != gtdt->platform_timer_count) {
191 		cnt = min(cnt, gtdt->platform_timer_count);