[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [5955] linux-user: Safety belt for h2g
From: |
Aurelien Jarno |
Subject: |
[Qemu-devel] [5955] linux-user: Safety belt for h2g |
Date: |
Mon, 08 Dec 2008 18:12:12 +0000 |
Revision: 5955
http://svn.sv.gnu.org/viewvc/?view=rev&root=qemu&revision=5955
Author: aurel32
Date: 2008-12-08 18:12:11 +0000 (Mon, 08 Dec 2008)
Log Message:
-----------
linux-user: Safety belt for h2g
h2g can only work on 64-bit hosts if the provided address is mappable to
the guest range. Neglecting this was already the source for several
bugs. Instrument the macro so that it will trigger earlier in the
future (at least as long as we have this kind of mapping mechanism).
Based on a patch from Jan Kiszka <address@hidden>
Signed-off-by: Kirill A. Shutemov <address@hidden>
Acked-by: Edgar E. Iglesias <address@hidden>
Signed-off-by: Aurelien Jarno <address@hidden>
Modified Paths:
--------------
trunk/cpu-all.h
Modified: trunk/cpu-all.h
===================================================================
--- trunk/cpu-all.h 2008-12-08 18:12:04 UTC (rev 5954)
+++ trunk/cpu-all.h 2008-12-08 18:12:11 UTC (rev 5955)
@@ -621,6 +621,9 @@
/* MMU memory access macros */
#if defined(CONFIG_USER_ONLY)
+#include <assert.h>
+#include "qemu-types.h"
+
/* On some host systems the guest address space is reserved on the host.
* This allows the guest address space to be offset to a convenient location.
*/
@@ -629,7 +632,12 @@
/* All direct uses of g2h and h2g need to go away for usermode softmmu. */
#define g2h(x) ((void *)((unsigned long)(x) + GUEST_BASE))
-#define h2g(x) ((target_ulong)((unsigned long)(x) - GUEST_BASE))
+#define h2g(x) ({ \
+ unsigned long __ret = (unsigned long)(x) - GUEST_BASE; \
+ /* Check if given address fits target address space */ \
+ assert(__ret == (abi_ulong)__ret); \
+ (abi_ulong)__ret; \
+})
#define saddr(x) g2h(x)
#define laddr(x) g2h(x)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Qemu-devel] [5955] linux-user: Safety belt for h2g,
Aurelien Jarno <=