Linux 3.0: widen limits in is_kallsyms_valid_address.

These limits are still slightly magical.  Widening the limits
makes this work for a very recent Linux 3.0 kernel.

diff --git a/src/kallsyms.ml b/src/kallsyms.ml
index 8663842..0f04b1f 100644 (file)
--- a/src/kallsyms.ml
+++ b/src/kallsyms.ml
@@ -68,8 +68,8 @@ let search_kallsyms k map =
         | Kernel.Word64 ->
             fun addr ->
               Kernel.is_mapped k addr
-              || Kernel.addr_compare addr 0xffffffff_ff000000_L >= 0
-              || Kernel.addr_compare addr 0x00000000_00020000_L <= 0
+              || Kernel.addr_compare addr 0xffffffff_80000000_L >= 0
+              || Kernel.addr_compare addr 0x00000000_00200000_L <= 0
       in
 
       let rec loop prev_addrp addr =