Searched refs:update_platform_timer (Results 1 – 1 of 1) sorted by relevance
74 static void update_platform_timer(uint cpu, zx_time_t new_deadline) { in update_platform_timer() function266 update_platform_timer(cpu, deadline); in timer_set()279 update_platform_timer(cpu, deadline); in timer_preempt_reset()339 update_platform_timer(cpu, newhead->scheduled_time); in timer_cancel()446 update_platform_timer(cpu, deadline); in timer_tick()487 update_platform_timer(cpu, new_head->scheduled_time); in timer_transition_off_cpu()514 update_platform_timer(cpu, deadline); in timer_thaw_percpu()
Completed in 7 milliseconds