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