Updated kernel parsers.

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

diff --git a/lib/kernel_net.ml b/lib/kernel_net.ml
index df4882c..8101c4e 100644 (file)
--- a/lib/kernel_net.ml
+++ b/lib/kernel_net.ml
@@ -15,92 +15,66 @@ type t = { net_dev_base_head'next : Virt_mem_mmap.addr };;
 type fs_t = { __fs_net_dev_base_head'next : Virt_mem_types.fieldsig };;
 let fieldsig_1 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 64; };
   };;
 let fieldsig_2 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 48; };
   };;
 let fieldsig_3 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 72; };
   };;
 let fieldsig_4 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 128; };
   };;
 let fieldsig_5 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 48; };
   };;
 let fieldsig_6 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 88; };
   };;
 let fieldsig_7 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 120; };
   };;
 let fieldsig_8 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 52; };
   };;
 let fieldsig_9 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 96; };
   };;
 let fieldsig_10 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 96; };
   };;
 let fieldsig_11 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 56; };
   };;
 let fieldsig_12 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 144; };
   };;
 let fieldsig_13 =
   {
-    (())
-    with
     __fs_net_dev_base_head'next =
       { Virt_mem_types.field_available = true; field_offset = 144; };
   };;
@@ -205,6 +179,10 @@ let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
 let v = (parser_3, 912, fieldsig_3);;
 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.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_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.2-2.fc8.i686" v map;;
 let v = (parser_4, 1352, fieldsig_4);;
 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
@@ -253,7 +231,15 @@ let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 let v = (parser_9, 1224, fieldsig_9);;
 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
 let v = (parser_3, 912, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" 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 v = (parser_11, 860, fieldsig_11);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" 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 v = (parser_13, 1680, fieldsig_13);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;;
 let v = (parser_3, 912, fieldsig_3);;
 let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
 let v = (parser_3, 912, fieldsig_3);;
@@ -321,6 +307,8 @@ let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_5, 660, fieldsig_5);;
 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
 let v = (parser_11, 864, fieldsig_11);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_11, 864, fieldsig_11);;
 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
 let v = (parser_11, 864, fieldsig_11);;
 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;