Searched refs:platform_timer (Results 1 – 1 of 1) sorted by relevance
34 void *platform_timer; member41 struct acpi_gtdt_header *gh = platform_timer; in next_platform_timer()43 platform_timer += gh->length; in next_platform_timer()44 if (platform_timer < acpi_gtdt_desc.gtdt_end) in next_platform_timer()45 return platform_timer; in next_platform_timer()158 void *platform_timer; in acpi_gtdt_init() local164 acpi_gtdt_desc.platform_timer = NULL; in acpi_gtdt_init()184 acpi_gtdt_desc.platform_timer = platform_timer; in acpi_gtdt_init()305 void *platform_timer; in acpi_arch_timer_mem_init() local309 if (is_timer_block(platform_timer)) { in acpi_arch_timer_mem_init()[all …]
Completed in 3 milliseconds