Searched refs:result_time (Results 1 – 4 of 4) sorted by relevance
59 uint64_t *result_time);
693 PAD_ARG_(user_addr_t, result_time);
834 uint64_t result_time; variable857 kr = mk_timer_cancel(port, &result_time);882 kr = mk_timer_cancel(port, &result_time);
338 mach_vm_address_t result_time_addr = args->result_time; in mk_timer_cancel_trap()