os: move genode_c_api/socket.h from lxip to os

Move lxip local socket C-API to os/include/genode_c_api

issue #5471

repos/dde_linux/lib/mk/lxip.inc

@@ -3,7 +3,7 @@ LIBS           := jitterentropy virt_lx_emul virt_linux_generated
 SHARED_LIB     := yes
 
 TARGET_LIB_DIR := $(LXIP_DIR)
-INC_DIR        += $(LXIP_DIR)/shadow $(LXIP_DIR)/include $(LXIP_DIR)
+INC_DIR        += $(LXIP_DIR)/shadow $(LXIP_DIR)
 
 SRC_CC += lx_emul/random.cc
 

repos/dde_linux/src/lib/lxip/include/genode_c_api/socket_types.h

@@ -1,33 +0,0 @@
-/*
- * \brief  Definitions of standard socket API values used when no libc headers
- *         are present
- * \author Sebastian Sumpf
- * \date   2024-01-29
- */
-
-/*
- * Copyright (C) 2024 Genode Labs GmbH
- *
- * This file is distributed under the terms of the GNU General Public License
- * version 2.
- */
-
-enum {
-	/* socket domain */
-	AF_UNSPEC = 0,
-	AF_INET = 2,
-	/* socket type */
-	SOCK_STREAM = 1,
-	SOCK_DGRAM  = 2,
-	/* protocol */
-	IPPROTO_TCP = 6,
-	IPPROTO_UDP = 17,
-	/* sockaddr_in */
-	INADDR_ANY = 0ul,
-	INADDR_BROADCAST = ~0u,
-
-	/* shutdown */
-	SHUT_RD = 0,
-	SHUT_WR = 1,
-	SHUT_RDWR = 2,
-};

repos/os/include/genode_c_api/socket.h

@@ -7,8 +7,8 @@
 /*
  * Copyright (C) 2024 Genode Labs GmbH
  *
- * This file is distributed under the terms of the GNU General Public License
+ * This file is part of the Genode OS framework, which is distributed
- * version 2.
+ * under the terms of the GNU Affero General Public License version 3.
  */
 
 #include <base/fixed_stdint.h>