On Wed, 2020-04-29 at 20:49 +0200, Ard Biesheuvel wrote: > On Wed, 29 Apr 2020 at 20:47, Joe Perches <joe@xxxxxxxxxxx> 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?