path: root/sys/compat/cloudabi64/cloudabi64_module.c
diff options
authorEd Schouten <ed@FreeBSD.org>2016-03-24 21:47:15 +0000
committerEd Schouten <ed@FreeBSD.org>2016-03-24 21:47:15 +0000
commit1f3bbfd875ed58cdd80893843d958d5575c4cebf (patch)
tree10ebf70906a0df7cec2a498c94c01578f266a88a /sys/compat/cloudabi64/cloudabi64_module.c
parent1d640d3b42d22f66e05d4c51334c958209c977d9 (diff)
Replace the CloudABI system call table by a machine generated version.
The type definitions and constants that were used by COMPAT_CLOUDABI64 are a literal copy of some headers stored inside of CloudABI's C library, cloudlibc. What is annoying is that we can't make use of cloudlibc's system call list, as the format is completely different and doesn't provide enough information. It had to be synced in manually. We recently decided to solve this (and some other problems) by moving the ABI definitions into a separate file: https://github.com/NuxiNL/cloudabi/blob/master/cloudabi.txt This file is processed by a pile of Python scripts to generate the header files like before, documentation (markdown), but in our case more importantly: a FreeBSD system call table. This change discards the old files in sys/contrib/cloudabi and replaces them by the latest copies, which requires some minor changes here and there. Because cloudabi.txt also enforces consistent names of the system call arguments, we have to patch up a small number of system call implementations to use the new argument names. The new header files can also be included directly in FreeBSD kernel space without needing any includes/defines, so we can now remove cloudabi_syscalldefs.h and cloudabi64_syscalldefs.h. Patch up the sources to include the definitions directly from sys/contrib/cloudabi instead.
Notes: svn path=/head/; revision=297247
Diffstat (limited to 'sys/compat/cloudabi64/cloudabi64_module.c')
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/compat/cloudabi64/cloudabi64_module.c b/sys/compat/cloudabi64/cloudabi64_module.c
index ca8ecf4affca..60100c5a6717 100644
--- a/sys/compat/cloudabi64/cloudabi64_module.c
+++ b/sys/compat/cloudabi64/cloudabi64_module.c
@@ -36,7 +36,8 @@ __FBSDID("$FreeBSD$");
#include <sys/sysent.h>
#include <sys/systm.h>
-#include <compat/cloudabi64/cloudabi64_syscalldefs.h>
+#include <contrib/cloudabi/cloudabi64_types.h>
#include <compat/cloudabi64/cloudabi64_util.h>
register_t *