@@ -287,20 +287,20 @@
 extern void of_socket_address_get_ipx_node(
     const of_socket_address_t *_Nonnull address,
     unsigned char node[_Nonnull IPX_NODE_LEN]);
 
 extern bool of_socket_init(void);
-#if defined(OF_HAVE_THREADS) && defined(OF_AMIGAOS)
+#if defined(OF_HAVE_THREADS) && defined(OF_AMIGAOS) && !defined(OF_MORPHOS)
 extern void of_socket_deinit(void);
 #endif
 extern int of_socket_errno(void);
 #if !defined(OF_WII) && !defined(OF_NINTENDO_3DS)
 extern int of_getsockname(of_socket_t sock, struct sockaddr *restrict addr,
     socklen_t *restrict addrLen);
 #endif
 
-#if defined(OF_HAVE_THREADS) && defined(OF_AMIGAOS)
+#if defined(OF_HAVE_THREADS) && defined(OF_AMIGAOS) && !defined(OF_MORPHOS)
 extern of_tlskey_t of_socket_base_key;
 # ifdef OF_AMIGAOS4
 extern of_tlskey_t of_socket_interface_key;
 # endif
 #endif