Function ddsrt_socket_ext_fini 

pub unsafe extern "C" fn ddsrt_socket_ext_fini(
    sockext: *mut ddsrt_socket_ext_t,
)

@brief Undo the work of @ref ddsrt_socket_ext_init

@note Does not close the socket (it is not opened by @ref ddsrt_socket_ext_init, so it is not closed here)

@param[in] sockext the extended socket