Searched refs:timer_call_ttd (Results 1 – 3 of 3) sorted by relevance
405 uint64_t timer_call_ttd; /* current timer call time-to-deadline */ member
958 uint64_t *ttdp = ¤t_processor()->timer_call_ttd; in timer_queue_expire_with_options()
907 uint64_t ttd = current_processor()->timer_call_ttd; in thread_unblock()