Richard Henderson 5e0f40cfed tcg-ppc64: Use tcg_out64
Signed-off-by: Richard Henderson <rth@twiddle.net>
2013-09-25 07:46:32 -07:00
..
2013-09-25 07:46:32 -07:00
2013-09-02 09:08:29 -07:00