Committing NON-WORKING cil tools directory. This code all needs
[ocaml-bitstring.git] / cil-tools / task_struct.c
1 /* This is an example import file, showing how to import the
2  * Linux task_struct structure from header files.
3  *
4  * Use: bitmatch-import-c task_struct.c > task_struct.ml
5  *
6  * Tip: Add the --debug flag to that command line to see what's going on.
7  */
8
9 /* Any defines, etc. necessary to get the include to work. */
10 #define __KERNEL__
11 #define CONFIG_HZ 100
12 #define CONFIG_PAGE_OFFSETUL 0xc0000000 /* XXX? */
13 #define THREAD_SIZE 4096 /* XXX? */
14
15 /* Include files necessary to get the structure(s) and constant(s) we're
16  * interested in.
17  *
18  * Note in this case glibc strips the useful structures out of the
19  * so-called "kernel headers" that it supplies, so instead I have
20  * a local copy of the real headers from a version of Linux.
21  */
22 #include "linux/sched.h"
23
24 /* This tells the importer program what structures and constants to import. */
25 typedef struct task_struct BITMATCH_IMPORT(task_struct);