Re: [PATCH v3 1/8] hvmloader: Remove all 64-bit print arguments

[George Dunlap <george.dunlap@eu.citrix.com>]

On 21/06/13 09:34, George Dunlap wrote:
> On 20/06/13 18:06, Stefano Stabellini wrote:
>> On Thu, 20 Jun 2013, George Dunlap wrote:
>>> The printf() available to hvmloader does not handle 64-bit data types;
>>> manually break them down as two 32-bit strings.
>>>
>>> Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
>>> CC: Ian Campbell <ian.campbell@citrix.com>
>>> CC: Ian Jackson <ian.jackson@citrix.com>
>>> CC: Stefano Stabellini <stefano.stabellini@citrix.com>
>>> CC: Hanweidong <hanweidong@huawei.com>
>>> CC: Keir Fraser <keir@xen.org>
>> What's the issue with implementing %llx?
>
> It involves implementing __udiv64(), since hvmloader runs in 32-bit mode.

Actually, it looks like hvmloader already does have a "divide 64-bit by 
32-bit" function I could use; but that would be a more significant 
change in functionality in the paths that are run by basically everyone, 
rather than minimal changes for people not affected by the bug and major 
changes only for people who are going to crash anyway.

  -George