On Wed, 29 Apr 2020 at 20:57, Joe Perches <joe@xxxxxxxxxxx> wrote: > > 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? > In which code? The firmware code?
