On Mon, 2024-07-29 at 15:35 +0200, Jan Beulich wrote: > > + write_pte(pte, tmp); > > + > > + sfence_vma(); > > + > > + printk("(XEN) fixmap is mapped\n"); > > Why the (XEN) prefix? And perhaps why the printk() in the first > place? printk() is available after common code started to be buildable and can be used here as we have already introduced early_puts() which uses sbi_console_putchar(). So it doesn't matter if we use printk() or early_printk() here the result will be the same the call of sbi_console_putchar().
Am I missing something? ~ Oleksii