diff options
| author | Dr. David Alan Gilbert <david.gilbert@linaro.org> | 2011-08-31 17:24:34 +0100 |
|---|---|---|
| committer | Riku Voipio <riku.voipio@linaro.org> | 2011-09-09 10:46:02 +0300 |
| commit | 97cc75606aef406e90a243cdb25347039003e7f0 (patch) | |
| tree | 26fc8e31ebe00fdd98da851adaaec5b828fecd5c /linux-user/qemu.h | |
| parent | 70afc343c75ecc8895b9308ee6a15fcc7a3b0f3e (diff) | |
linux-user: Implement new ARM 64 bit cmpxchg kernel helper
linux-user: Implement new ARM 64 bit cmpxchg kernel helper
Linux 3.1 will have a new kernel-page helper for ARM implementing
64 bit cmpxchg. Implement this helper in QEMU linux-user mode:
* Provide kernel helper emulation for 64bit cmpxchg
* Allow guest to object to guest offset to ensure it can map a page
* Populate page with kernel helper version
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Dr. David Alan Gilbert <david.gilbert@linaro.org>
Diffstat (limited to 'linux-user/qemu.h')
| -rw-r--r-- | linux-user/qemu.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/linux-user/qemu.h b/linux-user/qemu.h index 627c8b3423..55ad9d8586 100644 --- a/linux-user/qemu.h +++ b/linux-user/qemu.h @@ -202,6 +202,12 @@ 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); + #include "qemu-log.h" /* strace.c */ |