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