Message ID | 39879bbbea4661a4004ca26673e3d1e6ae1e0bc3.1333729958.git.riku.voipio@linaro.org |
---|---|
State | New |
Headers | show |
diff --git a/cpu-all.h b/cpu-all.h index 9621c3c..4512518 100644 --- a/cpu-all.h +++ b/cpu-all.h @@ -204,7 +204,8 @@ extern unsigned long reserved_va; #else #define h2g_valid(x) ({ \ unsigned long __guest = (unsigned long)(x) - GUEST_BASE; \ - __guest < (1ul << TARGET_VIRT_ADDR_SPACE_BITS); \ + (__guest < (1ul << TARGET_VIRT_ADDR_SPACE_BITS)) && \ + (!RESERVED_VA || (__guest < RESERVED_VA)); \ }) #endif