| 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 =