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