diff options
| -rwxr-xr-x | Meta/check-syscall-lists.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Meta/check-syscall-lists.sh b/Meta/check-syscall-lists.sh new file mode 100755 index 0000000000..95e954a0f2 --- /dev/null +++ b/Meta/check-syscall-lists.sh @@ -0,0 +1,20 @@ +#!/usr/bin/env bash + +set -eo pipefail + +script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P) +cd "${script_path}/.." + +SYSCALLS_KERNEL="$(echo 'Kernel syscalls'; echo; grep -Pio '(?<=^ S\().*(?=\)( +\\)?$)' Kernel/API/Syscall.h | sort)" +SYSCALLS_UE="$(echo 'Implemented in UserspaceEmulator'; echo; grep -Pio '(?<=^ case SC_).*(?=:$)' Userland/DevTools/UserspaceEmulator/Emulator.cpp | sort)" +SYSCALLS_MAN2="$(echo 'Documented syscalls'; echo; find Base/usr/share/man/man2/ ! -type d -printf '%f\n' | sed -Ee 's,\.md,,' | sort)" + +set +e + +echo "ACTUAL versus UE" +diff --color=always -u <(echo "${SYSCALLS_KERNEL}") <(echo "${SYSCALLS_UE}") +echo +echo "ACTUAL versus UE" +diff --color=always -u <(echo "${SYSCALLS_KERNEL}") <(echo "${SYSCALLS_MAN2}") + +exit 0 |