On Wed, 29 Apr 2020 at 21:47, Joe Perches <joe@xxxxxxxxxxx> wrote: > > On Wed, 2020-04-29 at 20:59 +0200, Ard Biesheuvel wrote: > > 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? > > I presume it's set from a struct received from hardware/firmware > somewhere in drivers/firmware/efi, but it doesn't seem clear where. > It is a field in the EFI system table, which we dereference directly.
