Searched refs:mk_timer_port_destroy (Results 1 – 1 of 1) sorted by relevance
62 static void mk_timer_port_destroy(ipc_port_t);66 .iko_op_destroy = mk_timer_port_destroy);135 mk_timer_port_destroy( in mk_timer_port_destroy() function