On Wed, Mar 01, 2023, Aaron Lewis wrote: > Add a local version of vsprintf() for the guest to use. > > The file printf.c was lifted from arch/x86/boot/printf.c. Is there by any shance a version of > +/* > + * Oh, it's a waste of space, but oh-so-yummy for debugging. This > + * version of printf() does not include 64-bit support. "Live with But selftests are 64-bit only, at least on x86. > +static char *number(char *str, long num, int base, int size, int precision, > + int type) Do we actually need a custom number()? I.e. can we sub in a libc equivalent? That would reduce the craziness of this file by more than a few degrees.
