Searched refs:mk_timer_port_destroy (Results 1 – 1 of 1) sorted by relevance
63 static void mk_timer_port_destroy(ipc_port_t);67 .iko_op_destroy = mk_timer_port_destroy);127 mk_timer_port_destroy( in mk_timer_port_destroy() function