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 /tci.c | |
| 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 'tci.c')
0 files changed, 0 insertions, 0 deletions