261 send_reply(endpoint_t endpt, int type, message * m_ptr)  in send_reply()
480 	const message * __restrict m_ptr)  in do_socket()
502 	const message * __restrict m_ptr)  in do_socketpair()
536 	const message * __restrict m_ptr)  in do_bind_connect()
589 	const message * __restrict m_ptr)  in do_listen()
610 	const message * __restrict m_ptr)  in do_accept()
650 	const message * __restrict m_ptr)  in do_send()
718 	const message * __restrict m_ptr)  in do_recv()
774 	const message * __restrict m_ptr)  in do_ioctl()
815 	const message * __restrict m_ptr)  in do_setsockopt()
841 	const message * __restrict m_ptr)  in do_getsockopt()
882 	const message * __restrict m_ptr)  in do_getname()
940 	const message * __restrict m_ptr)  in do_shutdown()
963 	const message * __restrict m_ptr)  in do_close()
994 	const message * __restrict m_ptr)  in do_cancel()
1020 	const message * __restrict m_ptr)  in do_select()
1062 	const message * __restrict m_ptr, int ipc_status)  in sockdriver_process()