tree 8c9077856b669490b92c52f3c8d1511ea01801d7
parent c38bb94a995fd4b7f92ff933c19c1a1ffbe9df5b
author Stefan Weil <sw@weilnetz.de> 1330727404 +0100
committer Blue Swirl <blauwirbel@gmail.com> 1330798219 +0000

w64: Fix data type of parameters for flush_icache_range

flush_icache_range takes two address parameters which must be large
enough to address any address of the host.

For hosts with sizeof(unsigned long) == sizeof(void *), this patch
changes nothing. All currently supported hosts fall into this category.

For w64 hosts, sizeof(unsigned long) is 4 while sizeof(void *) is 8,
so the use of tcg_target_ulong is needed for i386 and tci (the tcg
targets which work with w64).

Signed-off-by: Stefan Weil <sw@weilnetz.de>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>