Updated kernel parsers.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 12 Aug 2008 14:17:54 +0000 (15:17 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 12 Aug 2008 14:17:54 +0000 (15:17 +0100)
lib/kernel_net.ml
lib/kernel_net_device.ml
lib/kernel_task_struct.ml
lib/virt_mem_kernels.ml

index df4882c..8101c4e 100644 (file)
@@ -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;;
index 1cbc190..488e2c4 100644 (file)
@@ -26,8 +26,6 @@ type fs_t =
   };;
 let fieldsig_1 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -41,8 +39,6 @@ let fieldsig_1 =
   };;
 let fieldsig_2 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -56,8 +52,6 @@ let fieldsig_2 =
   };;
 let fieldsig_3 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -71,8 +65,6 @@ let fieldsig_3 =
   };;
 let fieldsig_4 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -86,8 +78,6 @@ let fieldsig_4 =
   };;
 let fieldsig_5 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -101,8 +91,6 @@ let fieldsig_5 =
   };;
 let fieldsig_6 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -116,8 +104,6 @@ let fieldsig_6 =
   };;
 let fieldsig_7 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -131,8 +117,6 @@ let fieldsig_7 =
   };;
 let fieldsig_8 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -146,8 +130,6 @@ let fieldsig_8 =
   };;
 let fieldsig_9 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -161,8 +143,6 @@ let fieldsig_9 =
   };;
 let fieldsig_10 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -176,8 +156,6 @@ let fieldsig_10 =
   };;
 let fieldsig_11 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -191,8 +169,6 @@ let fieldsig_11 =
   };;
 let fieldsig_12 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -206,8 +182,6 @@ let fieldsig_12 =
   };;
 let fieldsig_13 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -221,8 +195,6 @@ let fieldsig_13 =
   };;
 let fieldsig_14 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -236,8 +208,6 @@ let fieldsig_14 =
   };;
 let fieldsig_15 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -251,8 +221,6 @@ let fieldsig_15 =
   };;
 let fieldsig_16 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -266,8 +234,6 @@ let fieldsig_16 =
   };;
 let fieldsig_17 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -281,8 +247,6 @@ let fieldsig_17 =
   };;
 let fieldsig_18 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -296,8 +260,6 @@ let fieldsig_18 =
   };;
 let fieldsig_19 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -311,8 +273,6 @@ let fieldsig_19 =
   };;
 let fieldsig_20 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -326,8 +286,6 @@ let fieldsig_20 =
   };;
 let fieldsig_21 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -341,8 +299,6 @@ let fieldsig_21 =
   };;
 let fieldsig_22 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -356,8 +312,6 @@ let fieldsig_22 =
   };;
 let fieldsig_23 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -371,8 +325,6 @@ let fieldsig_23 =
   };;
 let fieldsig_24 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_next =
@@ -386,8 +338,6 @@ let fieldsig_24 =
   };;
 let fieldsig_25 =
   {
-    (())
-    with
     __fs_net_device_name =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_net_device_dev_list'next =
@@ -787,6 +737,8 @@ let v = (parser_5, 1388, fieldsig_5);;
 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
 let v = (parser_5, 1388, fieldsig_5);;
 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
+let v = (parser_3, 1384, fieldsig_3);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
 let v = (parser_1, 924, fieldsig_1);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_6, 1540, fieldsig_6);;
@@ -810,6 +762,8 @@ let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let v = (parser_7, 2392, fieldsig_7);;
 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 let v = (parser_3, 1384, fieldsig_3);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_3, 1384, fieldsig_3);;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let v = (parser_8, 2304, fieldsig_8);;
 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
@@ -1048,7 +1002,15 @@ let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 let v = (parser_8, 1752, fieldsig_8);;
 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
 let v = (parser_5, 1388, fieldsig_5);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" v map;;
+let v = (parser_5, 1388, fieldsig_5);;
 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
+let v = (parser_18, 1072, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_19, 2332, fieldsig_19);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
+let v = (parser_20, 2316, fieldsig_20);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;;
 let v = (parser_5, 1388, fieldsig_5);;
 let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
 let v = (parser_5, 1388, fieldsig_5);;
@@ -1220,6 +1182,8 @@ let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_17, 1016, fieldsig_17);;
 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
 let v = (parser_18, 1120, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_18, 1120, fieldsig_18);;
 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
 let v = (parser_18, 1120, fieldsig_18);;
 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
index bf3bcca..1ecec28 100644 (file)
@@ -34,8 +34,6 @@ type fs_t =
   };;
 let fieldsig_1 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -59,8 +57,6 @@ let fieldsig_1 =
   };;
 let fieldsig_2 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -84,8 +80,6 @@ let fieldsig_2 =
   };;
 let fieldsig_3 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -109,8 +103,6 @@ let fieldsig_3 =
   };;
 let fieldsig_4 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -134,8 +126,6 @@ let fieldsig_4 =
   };;
 let fieldsig_5 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -159,8 +149,6 @@ let fieldsig_5 =
   };;
 let fieldsig_6 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -184,8 +172,6 @@ let fieldsig_6 =
   };;
 let fieldsig_7 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -209,8 +195,6 @@ let fieldsig_7 =
   };;
 let fieldsig_8 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -234,8 +218,6 @@ let fieldsig_8 =
   };;
 let fieldsig_9 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -259,8 +241,6 @@ let fieldsig_9 =
   };;
 let fieldsig_10 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -284,8 +264,6 @@ let fieldsig_10 =
   };;
 let fieldsig_11 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -309,8 +287,6 @@ let fieldsig_11 =
   };;
 let fieldsig_12 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -334,8 +310,6 @@ let fieldsig_12 =
   };;
 let fieldsig_13 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -359,8 +333,6 @@ let fieldsig_13 =
   };;
 let fieldsig_14 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -384,8 +356,6 @@ let fieldsig_14 =
   };;
 let fieldsig_15 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -409,8 +379,6 @@ let fieldsig_15 =
   };;
 let fieldsig_16 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -434,8 +402,6 @@ let fieldsig_16 =
   };;
 let fieldsig_17 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -459,8 +425,6 @@ let fieldsig_17 =
   };;
 let fieldsig_18 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -484,8 +448,6 @@ let fieldsig_18 =
   };;
 let fieldsig_19 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -509,8 +471,6 @@ let fieldsig_19 =
   };;
 let fieldsig_20 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -534,8 +494,6 @@ let fieldsig_20 =
   };;
 let fieldsig_21 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -559,8 +517,6 @@ let fieldsig_21 =
   };;
 let fieldsig_22 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -584,8 +540,6 @@ let fieldsig_22 =
   };;
 let fieldsig_23 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -609,8 +563,6 @@ let fieldsig_23 =
   };;
 let fieldsig_24 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -634,8 +586,6 @@ let fieldsig_24 =
   };;
 let fieldsig_25 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -659,8 +609,6 @@ let fieldsig_25 =
   };;
 let fieldsig_26 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -684,8 +632,6 @@ let fieldsig_26 =
   };;
 let fieldsig_27 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -709,8 +655,6 @@ let fieldsig_27 =
   };;
 let fieldsig_28 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -734,8 +678,6 @@ let fieldsig_28 =
   };;
 let fieldsig_29 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -759,8 +701,6 @@ let fieldsig_29 =
   };;
 let fieldsig_30 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -784,8 +724,6 @@ let fieldsig_30 =
   };;
 let fieldsig_31 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -809,8 +747,6 @@ let fieldsig_31 =
   };;
 let fieldsig_32 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -834,8 +770,6 @@ let fieldsig_32 =
   };;
 let fieldsig_33 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -859,8 +793,6 @@ let fieldsig_33 =
   };;
 let fieldsig_34 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -884,8 +816,6 @@ let fieldsig_34 =
   };;
 let fieldsig_35 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -909,8 +839,6 @@ let fieldsig_35 =
   };;
 let fieldsig_36 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -934,8 +862,6 @@ let fieldsig_36 =
   };;
 let fieldsig_37 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -959,8 +885,6 @@ let fieldsig_37 =
   };;
 let fieldsig_38 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -984,8 +908,6 @@ let fieldsig_38 =
   };;
 let fieldsig_39 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -1009,8 +931,6 @@ let fieldsig_39 =
   };;
 let fieldsig_40 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -1034,8 +954,6 @@ let fieldsig_40 =
   };;
 let fieldsig_41 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -1059,8 +977,6 @@ let fieldsig_41 =
   };;
 let fieldsig_42 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -1084,8 +1000,6 @@ let fieldsig_42 =
   };;
 let fieldsig_43 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -1109,8 +1023,6 @@ let fieldsig_43 =
   };;
 let fieldsig_44 =
   {
-    (())
-    with
     __fs_task_struct_state =
       { Virt_mem_types.field_available = true; field_offset = 0; };
     __fs_task_struct_prio =
@@ -2260,6 +2172,8 @@ let v = (parser_9, 4204, fieldsig_9);;
 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
 let v = (parser_9, 4204, fieldsig_9);;
 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
+let v = (parser_3, 4180, fieldsig_3);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
 let v = (parser_1, 2704, fieldsig_1);;
 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 let v = (parser_10, 3772, fieldsig_10);;
@@ -2283,6 +2197,8 @@ let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 let v = (parser_11, 4468, fieldsig_11);;
 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 let v = (parser_3, 4180, fieldsig_3);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_3, 4180, fieldsig_3);;
 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 let v = (parser_12, 5808, fieldsig_12);;
 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
@@ -2520,8 +2436,16 @@ let v = (parser_39, 2572, fieldsig_39);;
 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 let v = (parser_12, 2072, fieldsig_12);;
 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
+let v = (parser_40, 4200, fieldsig_40);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" v map;;
 let v = (parser_9, 4204, fieldsig_9);;
 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
+let v = (parser_41, 2124, fieldsig_41);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_42, 6712, fieldsig_42);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
+let v = (parser_43, 5824, fieldsig_43);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;;
 let v = (parser_40, 4200, fieldsig_40);;
 let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
 let v = (parser_9, 4204, fieldsig_9);;
@@ -2693,6 +2617,8 @@ let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 let v = (parser_38, 1992, fieldsig_38);;
 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
 let v = (parser_41, 2136, fieldsig_41);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_41, 2136, fieldsig_41);;
 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
 let v = (parser_41, 2136, fieldsig_41);;
 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
index 3db3dbb..d7de562 100644 (file)
@@ -102,25 +102,28 @@ let kernels =
     "2.6.24-9.fc9.i686"; "2.6.24-9.fc9.i686"; "2.6.24-9.fc9.ppc";
     "2.6.24-9.fc9.ppc"; "2.6.24-9.fc9.ppc64"; "2.6.24-9.fc9.ppc64";
     "2.6.24-9.fc9.x86_64"; "2.6.25.11-97.fc9.i686";
-    "2.6.25.11-97.fc9.x86_64"; "2.6.26.2-2.fc8.i586"; "2.6.26.2-2.fc8.i686";
-    "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686";
-    "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc64";
-    "2.6.26.2-2.fc8.ppc64"; "2.6.26.2-2.fc8.x86_64"; "2.6.26.2-2.fc8.x86_64";
-    "2.6.27-0.231.rc1.git6.fc10.i686"; "2.6.27-0.231.rc1.git6.fc10.i686";
-    "2.6.27-0.231.rc1.git6.fc10.ppc64"; "2.6.27-0.237.rc2.fc10.i586";
-    "2.6.27-0.237.rc2.fc10.i686"; "2.6.27-0.237.rc2.fc10.i686";
-    "2.6.27-0.237.rc2.fc10.ppc"; "2.6.27-0.237.rc2.fc10.ppc";
-    "2.6.27-0.237.rc2.fc10.ppc64"; "2.6.27-0.237.rc2.fc10.ppc64";
-    "2.6.27-0.237.rc2.fc10.x86_64"; "2.6.27-0.238.rc2.fc10.i586";
-    "2.6.27-0.238.rc2.fc10.i686"; "2.6.27-0.238.rc2.fc10.i686";
-    "2.6.27-0.238.rc2.fc10.ppc"; "2.6.27-0.238.rc2.fc10.ppc";
-    "2.6.27-0.238.rc2.fc10.ppc64"; "2.6.27-0.238.rc2.fc10.ppc64";
-    "2.6.27-0.238.rc2.fc10.x86_64"; "2.6.27-0.241.rc2.git1.fc10.i586";
-    "2.6.27-0.241.rc2.git1.fc10.i686"; "2.6.27-0.241.rc2.git1.fc10.i686";
-    "2.6.27-0.241.rc2.git1.fc10.ppc"; "2.6.27-0.241.rc2.git1.fc10.ppc";
-    "2.6.27-0.241.rc2.git1.fc10.ppc64"; "2.6.27-0.241.rc2.git1.fc10.ppc64";
-    "2.6.27-0.241.rc2.git1.fc10.x86_64"; "2.6.27-0.244.rc2.git1.fc10.i586";
-    "2.6.27-0.244.rc2.git1.fc10.i686"; "2.6.27-0.244.rc2.git1.fc10.i686";
-    "2.6.27-0.244.rc2.git1.fc10.ppc"; "2.6.27-0.244.rc2.git1.fc10.ppc";
-    "2.6.27-0.244.rc2.git1.fc10.ppc64"; "2.6.27-0.244.rc2.git1.fc10.ppc64";
-    "2.6.27-0.244.rc2.git1.fc10.x86_64" ];;
+    "2.6.25.11-97.fc9.x86_64"; "2.6.26.1-9.fc9.i686"; "2.6.26.1-9.fc9.i686";
+    "2.6.26.2-2.fc8.i586"; "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686";
+    "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.ppc";
+    "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc64"; "2.6.26.2-2.fc8.ppc64";
+    "2.6.26.2-2.fc8.x86_64"; "2.6.26.2-2.fc8.x86_64";
+    "2.6.27-0.231.rc1.git6.fc10.i586"; "2.6.27-0.231.rc1.git6.fc10.i686";
+    "2.6.27-0.231.rc1.git6.fc10.i686"; "2.6.27-0.231.rc1.git6.fc10.ppc";
+    "2.6.27-0.231.rc1.git6.fc10.ppc"; "2.6.27-0.231.rc1.git6.fc10.ppc64";
+    "2.6.27-0.231.rc1.git6.fc10.ppc64"; "2.6.27-0.231.rc1.git6.fc10.x86_64";
+    "2.6.27-0.237.rc2.fc10.i586"; "2.6.27-0.237.rc2.fc10.i686";
+    "2.6.27-0.237.rc2.fc10.i686"; "2.6.27-0.237.rc2.fc10.ppc";
+    "2.6.27-0.237.rc2.fc10.ppc"; "2.6.27-0.237.rc2.fc10.ppc64";
+    "2.6.27-0.237.rc2.fc10.ppc64"; "2.6.27-0.237.rc2.fc10.x86_64";
+    "2.6.27-0.238.rc2.fc10.i586"; "2.6.27-0.238.rc2.fc10.i686";
+    "2.6.27-0.238.rc2.fc10.i686"; "2.6.27-0.238.rc2.fc10.ppc";
+    "2.6.27-0.238.rc2.fc10.ppc"; "2.6.27-0.238.rc2.fc10.ppc64";
+    "2.6.27-0.238.rc2.fc10.ppc64"; "2.6.27-0.238.rc2.fc10.x86_64";
+    "2.6.27-0.241.rc2.git1.fc10.i586"; "2.6.27-0.241.rc2.git1.fc10.i686";
+    "2.6.27-0.241.rc2.git1.fc10.i686"; "2.6.27-0.241.rc2.git1.fc10.ppc";
+    "2.6.27-0.241.rc2.git1.fc10.ppc"; "2.6.27-0.241.rc2.git1.fc10.ppc64";
+    "2.6.27-0.241.rc2.git1.fc10.ppc64"; "2.6.27-0.241.rc2.git1.fc10.x86_64";
+    "2.6.27-0.244.rc2.git1.fc10.i586"; "2.6.27-0.244.rc2.git1.fc10.i686";
+    "2.6.27-0.244.rc2.git1.fc10.i686"; "2.6.27-0.244.rc2.git1.fc10.ppc";
+    "2.6.27-0.244.rc2.git1.fc10.ppc"; "2.6.27-0.244.rc2.git1.fc10.ppc64";
+    "2.6.27-0.244.rc2.git1.fc10.ppc64"; "2.6.27-0.244.rc2.git1.fc10.x86_64" ];;