tcg: Change flush_icache_range arguments to uintptr_t
authorRichard Henderson <rth@twiddle.net>
Tue, 20 Aug 2013 21:22:50 +0000 (14:22 -0700)
committerRichard Henderson <rth@twiddle.net>
Mon, 2 Sep 2013 16:08:29 +0000 (09:08 -0700)
commitb93949ef6a5dea2b22987f2aa3028068e751a7e4
tree3a2ef55c0ef0ec406b377d7b794a58ab5b4e2cc0
parent35aa3fb38753bd1557af8370994ce6c5b599e65c
tcg: Change flush_icache_range arguments to uintptr_t

Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: Richard Henderson <rth@twiddle.net>
tcg/aarch64/tcg-target.h
tcg/arm/tcg-target.h
tcg/hppa/tcg-target.h
tcg/i386/tcg-target.h
tcg/ia64/tcg-target.h
tcg/mips/tcg-target.h
tcg/s390/tcg-target.h
tcg/sparc/tcg-target.h
tcg/tcg.c
tcg/tci/tcg-target.h