+ lib/syscall_schedinfo-v21.hc \
+ lib/syscall_getccaps-v21.hc \
+ lib/syscall_getsched.c \
+ lib/syscall_getsched-v21.hc \
+ lib/syscall_ctxcreate-v21.hc
+
+lib_v22_SRCS = lib/syscall_setsched-v22.hc \
+ lib/syscall_fsetiattr.c \
+ lib/syscall_fsetiattr-v22.hc \
+ lib/syscall_fgetiattr.c \
+ lib/syscall_fgetiattr-v22.hc
+
+lib_netv2_SRCS = lib/syscall_netadd-netv2.hc \
+ lib/syscall_netremove-netv2.hc
+
+lib_v23_SRCS = lib/syscall_tagmigrate-v23.hc \
+ lib/syscall_tagmigrate.c \
+ lib/syscall_tagcreate.c \
+ lib/syscall_tasktag-v23.hc \
+ lib/syscall_tasktag.c