Lines Matching defs:gtdt
24 * @gtdt: The pointer to the struct acpi_table_gtdt of GTDT table.
32 struct acpi_table_gtdt *gtdt;
97 struct acpi_table_gtdt *gtdt = acpi_gtdt_desc.gtdt;
101 return map_gt_gsi(gtdt->non_secure_el1_interrupt,
102 gtdt->non_secure_el1_flags);
104 return map_gt_gsi(gtdt->virtual_timer_interrupt,
105 gtdt->virtual_timer_flags);
108 return map_gt_gsi(gtdt->non_secure_el2_interrupt,
109 gtdt->non_secure_el2_flags);
126 struct acpi_table_gtdt *gtdt = acpi_gtdt_desc.gtdt;
130 return !(gtdt->non_secure_el1_flags & ACPI_GTDT_ALWAYS_ON);
133 return !(gtdt->virtual_timer_flags & ACPI_GTDT_ALWAYS_ON);
136 return !(gtdt->non_secure_el2_flags & ACPI_GTDT_ALWAYS_ON);
159 struct acpi_table_gtdt *gtdt;
161 gtdt = container_of(table, struct acpi_table_gtdt, header);
162 acpi_gtdt_desc.gtdt = gtdt;
174 if (!gtdt->platform_timer_count) {
179 platform_timer = (void *)gtdt + gtdt->platform_timer_offset;
186 *platform_timer_count = gtdt->platform_timer_count;