Searched refs:platform_timer_offset (Results 1 – 2 of 2) sorted by relevance
| /linux-6.1.9/drivers/acpi/arm64/ | ||
| D | gtdt.c | 179 platform_timer = (void *)gtdt + gtdt->platform_timer_offset; in acpi_gtdt_init() |
| /linux-6.1.9/include/acpi/ | ||
| D | actbl1.h | 1105 u32 platform_timer_offset; member |