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