tree 3a2ef55c0ef0ec406b377d7b794a58ab5b4e2cc0
parent 35aa3fb38753bd1557af8370994ce6c5b599e65c
author Richard Henderson <rth@twiddle.net> 1377033770 -0700
committer Richard Henderson <rth@twiddle.net> 1378138109 -0700

tcg: Change flush_icache_range arguments to uintptr_t

Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: Richard Henderson <rth@twiddle.net>