Searched refs:next_platform_timer (Results 1 – 1 of 1) sorted by relevance
| /Linux-v6.6/drivers/acpi/arm64/ | ||
| D | gtdt.c | 39 static inline __init 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-v6.6/drivers/acpi/arm64/ | ||
| D | gtdt.c | 39 static inline __init void *next_platform_timer(void *platform_timer) in next_platform_timer() function |