On Wed, 2020-04-29 at 20:49 +0200, Ard Biesheuvel wrote: > On Wed, 29 Apr 2020 at 20:47, Joe Perches <[email protected]> wrote: > > Looking at code for efi_printk -> efi_char16_printk, > > it's somewhat difficult to see where the "output_string" > > function pointer is set. Any clue? > It is set by the firmware.
Sure, where in the code though?

