@@ -1,4 +1,10 @@
+/* this file was generated from the Linux kernel source
+ * file /arch/x86/entry/syscalls/syscall_64.tbl. since
+ * the x86-64 syscalls are a special case and are unlikely
+ * to change in the future, the code used to generate this
+ * header was not preserved. */
+
 #ifndef KIplatform_syscall
 #define KIplatform_syscall
 
 enum k_platform_syscall {