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