diff options
author | Meador Inge <meadori@codesourcery.com> | 2012-07-26 16:50:02 +0000 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2012-08-14 20:26:55 +0100 |
commit | 806d102141b99d4f1e55a97d68b7ea8c8ba3129f (patch) | |
tree | 7b1555eded63ad1034ad5f5e4926cf765862ca8a /linux-user/qemu.h | |
parent | dce104013d1b393d39a89c4417d7771d928c08f3 (diff) |
linux-user: Use init_guest_space when -R and -B are specified
Roll the code used to initialize the guest memory space when -R
or -B is used into 'init_guest_space' and then call 'init_guest_space'
from the driver. This way the reserved guest memory space can
be probed for. Calling 'mmap' just once as is currently done is not
guaranteed to succeed since the host address space validation might fail.
Signed-off-by: Meador Inge <meadori@codesourcery.com>
[PMM: Fixed minor whitespace errors.]
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'linux-user/qemu.h')
-rw-r--r-- | linux-user/qemu.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/linux-user/qemu.h b/linux-user/qemu.h index 7d4e23e4c1..69b27d7146 100644 --- a/linux-user/qemu.h +++ b/linux-user/qemu.h @@ -204,12 +204,6 @@ int get_osversion(void); void fork_start(void); void fork_end(int child); -/* Return true if the proposed guest_base is suitable for the guest. - * The guest code may leave a page mapped and populate it if the - * address is suitable. - */ -bool guest_validate_base(unsigned long guest_base); - /* Creates the initial guest address space in the host memory space using * the given host start address hint and size. The guest_start parameter * specifies the start address of the guest space. guest_base will be the |