sock: fix abi

kernel-src/include/kernel/abi.h

@@ -104,6 +104,8 @@ typedef struct {
 
 #define SOL_SOCKET 1
 
+typedef unsigned socklen_t;
+
 typedef struct {
 	unsigned short type;
 	char addr[14];
@@ -122,11 +124,13 @@ typedef struct {
 
 typedef struct {
 	void *addr;
-	size_t addrlen;
+	socklen_t addrlen;
 	iovec_t *iov;
-	size_t iovcount;
+	socklen_t iovcount;
+	int padding0;
 	void *msgctrl;
-	size_t ctrllen;
+	socklen_t ctrllen;
+	int padding1;
 	int flags;
 } msghdr_t;
 

kernel-src/include/kernel/sock.h

@@ -36,7 +36,8 @@ typedef struct {
 } sockaddr_t;
 
 typedef struct {
-	size_t length;
+	socklen_t length;
+	int padding;
 	int level;
 	int type;
 	uint8_t data[];