Searched defs: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()54 static inline bool is_timer_block(void *platform_timer) in is_timer_block()61 static inline bool is_non_secure_watchdog(void *platform_timer) in is_non_secure_watchdog()158 void *platform_timer; in acpi_gtdt_init() local305 void *platform_timer; in acpi_arch_timer_mem_init() local378 void *platform_timer; in gtdt_sbsa_gwdt_init() local