From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from [140.186.70.92] (port=59986 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1PCrVV-0002SC-ET
	for qemu-devel@nongnu.org; Mon, 01 Nov 2010 06:20:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1PCrVU-0004wJ-K8
	for qemu-devel@nongnu.org; Mon, 01 Nov 2010 06:20:53 -0400
Received: from mail-wy0-f173.google.com ([74.125.82.173]:34503)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1PCrVU-0004vn-ES
	for qemu-devel@nongnu.org; Mon, 01 Nov 2010 06:20:52 -0400
Received: by wyj26 with SMTP id 26so5633827wyj.4
	for <qemu-devel@nongnu.org>; Mon, 01 Nov 2010 03:20:51 -0700 (PDT)
Sender: Paolo Bonzini <paolo.bonzini@gmail.com>
Message-ID: <4CCE947E.5040900@redhat.com>
Date: Mon, 01 Nov 2010 11:20:46 +0100
From: Paolo Bonzini <pbonzini@redhat.com>
MIME-Version: 1.0
References: <1287781413-26723-1-git-send-email-weil@mail.berlios.de>	<1287781413-26723-4-git-send-email-weil@mail.berlios.de>	<AANLkTi=XRcetmhZoo14ioJqbKDi=EAFs9C4QChpHHoxo@mail.gmail.com>	<4CCE66CC.3080205@mail.berlios.de>	<AANLkTikAnpCsJKCaO=SdJHGb1NTArsrRxPH-RiVr1Tiv@mail.gmail.com>
	<4CCE92FE.2080408@redhat.com>
In-Reply-To: <4CCE92FE.2080408@redhat.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Qemu-devel] Re: [PATCH 4/4] target-xxx: Use fprintf_function
	(format checking)
List-Id: qemu-devel.nongnu.org
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
Cc: Blue Swirl <blauwirbel@gmail.com>, TeLeMan <geleman@gmail.com>, QEMU Developers <qemu-devel@nongnu.org>

On 11/01/2010 11:14 AM, Paolo Bonzini wrote:
> There is no such thing as a 32 bit host on x64, only 64-bit hosts that
                                      ^^^^                     ^^^^^

guests

> haven't turned on long mode.  So printing 64 bits is correct for those.