Searched refs:platform_timer_offset (Results 1 – 4 of 4) sorted by relevance
1590 u32 platform_timer_offset; member
1168 gtdt->platform_timer_offset = sizeof(acpi_gtdt_t); in acpi_create_gtdt()
41889 u32 platform_timer_offset; member