Searched refs:lwkt_serialize_replyport (Results 1 – 1 of 1) sorted by relevance
277 static void lwkt_serialize_replyport(lwkt_port_t port, lwkt_msg_t msg);400 lwkt_serialize_replyport, in lwkt_initport_serialize()1210 lwkt_serialize_replyport(lwkt_port_t port, lwkt_msg_t msg) in lwkt_serialize_replyport() function