Searched refs:platform_timer (Results 1 – 1 of 1) sorted by relevance
34 void *platform_timer; member39 static inline __init void *next_platform_timer(void *platform_timer) in next_platform_timer() argument41 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()51 for (_g = acpi_gtdt_desc.platform_timer; _g; \54 static inline bool is_timer_block(void *platform_timer) in is_timer_block() argument56 struct acpi_gtdt_header *gh = platform_timer; in is_timer_block()61 static inline bool is_non_secure_watchdog(void *platform_timer) in is_non_secure_watchdog() argument[all …]