Searched refs:platform_timer_offset (Results 1 – 2 of 2) sorted by relevance
186 acpi_gtdt_desc.platform_timer = (void *)gtdt + gtdt->platform_timer_offset; in acpi_gtdt_init()
1317 u32 platform_timer_offset; member