Searched defs:platform_timer (Results 1 – 1 of 1) sorted by relevance
37 void *platform_timer; member42 static inline void *next_platform_timer(void *platform_timer) in next_platform_timer()57 static inline bool is_timer_block(void *platform_timer) in is_timer_block()64 static inline bool is_non_secure_watchdog(void *platform_timer) in is_non_secure_watchdog()161 void *platform_timer; in acpi_gtdt_init() local308 void *platform_timer; in acpi_arch_timer_mem_init() local379 void *platform_timer; in gtdt_sbsa_gwdt_init() local
