$FreeBSD$

--- include/vki/vki-freebsd.h.orig
+++ include/vki/vki-freebsd.h
@@ -1331,6 +1331,7 @@
 	vki_uint16_t *array;	/* array for GETALL & SETALL */
 };
 
+typedef int *vki_semid_t;
 
 //----------------------------------------------------------------------
 // From sys/errno.h