X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fkallsyms.ml;fp=src%2Fkallsyms.ml;h=0f04b1fc56b92b7259e39cafc33690d9f3056c53;hb=58e02610551380041b6ac98053555dcb25418983;hp=8663842edd4c6c5d3042f22f6d895f318d5654c1;hpb=f930087f2a2503b6673ff032751aac3c216d054a;p=virt-dmesg.git

diff --git a/src/kallsyms.ml b/src/kallsyms.ml
index 8663842..0f04b1f 100644
--- 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 =