Searched refs:next_platform_timer (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/acpi/arm64/ | ||
| D | gtdt.c | 42 static inline void *next_platform_timer(void *platform_timer) in next_platform_timer() function |
Searched refs:next_platform_timer (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/acpi/arm64/ | ||
| D | gtdt.c | 42 static inline void *next_platform_timer(void *platform_timer) in next_platform_timer() function |