cil-tools/task_struct.ml

   1 (* This is an example program using an imported C structure.
   2  *
   3  * The Linux process table entry structure is imported from
   4  * <linux/sched.h> via "task_struct.c" by the bitstring-import-c
   5  * program, and saved as "task_struct.bmpp".
   6  *
   7  * Then we can load "task_struct.bmpp" here.
   8  *)
   9
  10 open Printf
  11
  12 open bitmatch "task_struct.bmpp"
  13
  14 (*
  15 let () =
  16   let bits = Bitstring.bitstring_of_file "examples/ext3_sb" in
  17 *)