Searched refs:armed_time (Results 1 – 1 of 1) sorted by relevance
342 uint64_t armed_time = 0; in mk_timer_cancel_trap() local360 armed_time = thread_call_get_armed_deadline(&timer->mkt_thread_call); in mk_timer_cancel_trap()374 if (copyout((void *)&armed_time, result_time_addr, sizeof(armed_time)) != 0) { in mk_timer_cancel_trap()