-let warning =
- "This code is automatically generated from the kernel database by kerneldb-to-parser program. Any edits you make will be lost.";;
+(* WARNING: This file and the corresponding mli (interface) are
+ * automatically generated by the extract/codegen/kerneldb_to_parser.ml
+ * program.
+ *
+ * Any edits you make to this file will be lost.
+ *
+ * To update this file from the latest kernel database, it is recommended
+ * that you do 'make update-kernel-structs'.
+ *)
let zero = 0;;
let struct_name = "task_struct";;
let match_err = "failed to match kernel structure";;