[SeaBIOS] Re: [RFC v2 1/1] Add LBA 64bit support for reads beyond 2TB.

[Gerd Hoffmann]

> > Any specific reason why you change sectors from %u to %x?
> >
> > I'd prefer to continue using %u.
>
> drive->sectors is a unsigned 64 bit integer. The SeaBIOS implementation
> for the format specifier %u of dprintf() does not support 64 bit
> precision (%lu/%llu just silently truncates the integer).
>
> I do have an internal patch that adds unsigned 64bit in support that I'd
> be happy to send, but it's quite a lot of code - it would require
> porting an implementation of  __udivmoddi4, for prototyping I had pulled
> one from libgcc_s but I'm not sure if there is a licensing issue there.
> On balance I thought it would be easiest to just dump the number as hex.

Fair enough, let's go with "0x%llx" then.

take care,
  Gerd