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);
851 uint64_t result_time; variable874 kr = mk_timer_cancel(port, &result_time);899 kr = mk_timer_cancel(port, &result_time);
349 mach_vm_address_t result_time_addr = args->result_time; in mk_timer_cancel_trap()