function::inet_get_dest_port — Provide remote port number for a kernel socket
inet_get_dest_port:long(sock:long)
sock
pointer to the kernel socket