Searched refs:next_platform_timer (Results 1 – 1 of 1) sorted by relevance
39 static inline __init void *next_platform_timer(void *platform_timer) in next_platform_timer() function52 _g = next_platform_timer(_g))