[w32handle] Remove use of w32handle for File, Console, Pipe and Socket (#5319)

[mono.git] / mono / metadata / w32socket-internals.h

diff --git a/mono/metadata/w32socket-internals.h b/mono/metadata/w32socket-internals.h
index 5122fdf5ed1573a7dc05d877b8709c1aba11441d..cf9fb28e466950607f2eee6c681d9ce86c009f40 100644 (file)
--- a/mono/metadata/w32socket-internals.h
+++ b/mono/metadata/w32socket-internals.h
@@ -148,4 +148,7 @@ mono_w32socket_get_last_error (void);
 gint32
 mono_w32socket_convert_error (gint error);
 
+gboolean
+mono_w32socket_duplicate (gpointer handle, gint32 targetProcessId, gpointer *duplicate_handle);
+
 #endif // __MONO_METADATA_W32SOCKET_INTERNALS_H__