Searched refs:timer_context_t (Results 1 – 2 of 2) sorted by relevance
21 } timer_context_t; typedef23 static timer_context_t pcpu_timer_context[PLATFORM_CORE_COUNT];