diff options
| author | Richard Henderson <rth@twiddle.net> | 2013-08-20 14:22:50 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@twiddle.net> | 2013-09-02 09:08:29 -0700 |
| commit | b93949ef6a5dea2b22987f2aa3028068e751a7e4 (patch) | |
| tree | 3a2ef55c0ef0ec406b377d7b794a58ab5b4e2cc0 /tcg/aarch64 | |
| parent | 35aa3fb38753bd1557af8370994ce6c5b599e65c (diff) | |
tcg: Change flush_icache_range arguments to uintptr_t
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Diffstat (limited to 'tcg/aarch64')
| -rw-r--r-- | tcg/aarch64/tcg-target.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tcg/aarch64/tcg-target.h b/tcg/aarch64/tcg-target.h index 26ee28b12c..d3a1bc2437 100644 --- a/tcg/aarch64/tcg-target.h +++ b/tcg/aarch64/tcg-target.h @@ -96,8 +96,7 @@ enum { TCG_AREG0 = TCG_REG_X19, }; -static inline void flush_icache_range(tcg_target_ulong start, - tcg_target_ulong stop) +static inline void flush_icache_range(uintptr_t start, uintptr_t stop) { __builtin___clear_cache((char *)start, (char *)stop); } |