socket_destroy_internal
socket_destroy_internal(so, cr);
extern void socket_destroy_internal(struct sonode *, cred_t *);