Besides having __NR_<syscallname> as names for system call number
definitions, we also provide SYS_<syscallname> variants.
Signed-off-by: Simon Kuenzer <simon.kuenzer@neclab.eu>
Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>
long syscall(long num, ...);
#if CONFIG_LIBSYSCALL_SHIM
-/* Provide __NR_syscallname variants */
+/* Provide SYS_syscallname and __NR_syscallname variants */
+#include <uk/bits/syscall_nrs.h>
#include <uk/bits/syscall_nrs2.h>
#endif /* CONFIG_LIBSYSCALL_SHIM */