Updated kernel structures & kerneldb.

[virt-mem.git] / lib / kernel_net.ml

diff --git a/lib/kernel_net.ml b/lib/kernel_net.ml
index 8101c4e..bfd8936 100644 (file)
--- a/lib/kernel_net.ml
+++ b/lib/kernel_net.ml
@@ -81,79 +81,79 @@ let fieldsig_13 =
 let parser_1 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(512), littleendian } ->
 let parser_1 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(512), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 64L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));;
 let parser_2 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(384), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));;
 let parser_2 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(384), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 48L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));;
 let parser_3 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(576), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));;
 let parser_3 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(576), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 72L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));;
 let parser_4 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(1024), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));;
 let parser_4 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(1024), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 128L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));;
 let parser_5 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(384), bigendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));;
 let parser_5 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(384), bigendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 48L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_5", match_err));;
 let parser_6 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(704), bigendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_5", match_err));;
 let parser_6 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(704), bigendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 88L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_6", match_err));;
 let parser_7 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(960), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_6", match_err));;
 let parser_7 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(960), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 120L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_7", match_err));;
 let parser_8 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(416), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_7", match_err));;
 let parser_8 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(416), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 52L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_8", match_err));;
 let parser_9 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(768), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_8", match_err));;
 let parser_9 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(768), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 96L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_9", match_err));;
 let parser_10 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(768), bigendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_9", match_err));;
 let parser_10 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(768), bigendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 96L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_10", match_err));;
 let parser_11 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(448), bigendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_10", match_err));;
 let parser_11 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+32 : offset(448), bigendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 56L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_11", match_err));;
 let parser_12 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(1152), bigendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_11", match_err));;
 let parser_12 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(1152), bigendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 144L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_12", match_err));;
 let parser_13 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(1152), littleendian } ->
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_12", match_err));;
 let parser_13 bits = 
   bitmatch bits with
   | { net_dev_base_head'next : zero+64 : offset(1152), littleendian } ->

-      { net_dev_base_head'next = Int64.sub net_dev_base_head'next 144L }
+      { net_dev_base_head'next = net_dev_base_head'next }

   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_13", match_err));;
 module StringMap = Map.Make(String);;
   | { _ } ->
       raise (Virt_mem_types.ParseError (struct_name, "parser_13", match_err));;
 module StringMap = Map.Make(String);;


@@ -167,6 +167,8 @@ let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 let v = (parser_1, 80, fieldsig_1);;
 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 let v = (parser_2, 660, fieldsig_2);;
 let v = (parser_1, 80, fieldsig_1);;
 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 let v = (parser_2, 660, fieldsig_2);;

+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_2, 660, fieldsig_2);;

 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let v = (parser_3, 912, fieldsig_3);;
 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let v = (parser_3, 912, fieldsig_3);;
 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;


@@ -182,6 +184,8 @@ let v = (parser_1, 732, fieldsig_1);;
 let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
 let v = (parser_1, 732, fieldsig_1);;
 let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
 let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
 let v = (parser_1, 732, fieldsig_1);;
 let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;

+let v = (parser_4, 1352, fieldsig_4);;
+let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;

 let v = (parser_1, 732, fieldsig_1);;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let v = (parser_4, 1352, fieldsig_4);;
 let v = (parser_1, 732, fieldsig_1);;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let v = (parser_4, 1352, fieldsig_4);;


@@ -221,6 +225,14 @@ let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 let v = (parser_9, 488, fieldsig_9);;
 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 let v = (parser_2, 660, fieldsig_2);;
 let v = (parser_9, 488, fieldsig_9);;
 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 let v = (parser_2, 660, fieldsig_2);;

+let map = StringMap.add "2.6.26.1-9.fc9.i586" v map;;
+let v = (parser_2, 660, fieldsig_2);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_10, 1224, fieldsig_10);;
+let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
+let v = (parser_9, 1224, fieldsig_9);;
+let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
+let v = (parser_2, 660, fieldsig_2);;

 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
 let v = (parser_2, 660, fieldsig_2);;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
 let v = (parser_2, 660, fieldsig_2);;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;


@@ -287,6 +299,8 @@ let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 let v = (parser_6, 120, fieldsig_6);;
 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 let v = (parser_10, 1224, fieldsig_10);;
 let v = (parser_6, 120, fieldsig_6);;
 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 let v = (parser_10, 1224, fieldsig_10);;

+let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
+let v = (parser_10, 1224, fieldsig_10);;

 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 let v = (parser_12, 1680, fieldsig_12);;
 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 let v = (parser_12, 1680, fieldsig_12);;
 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;