dboot_printf
dboot_printf("warning: PT_INTERP section\n");
dboot_printf("warning: krtld reloc info?\n");
dboot_printf("Skipping PT_LOAD segment for "
dboot_printf("copying %ld bytes from ELF offset 0x%lx "
dboot_printf("zeroing BSS %zu bytes from "
dboot_printf("Press any key to reboot\n");
extern void dboot_printf(char *fmt, ...)
dboot_printf("module #%d: name %s type %s "
dboot_printf("checking expected hash [%s]: ",
dboot_printf("\tmodule #%d: '%s' at 0x%lx, end 0x%lx\n",
dboot_printf("\tmodule #%d: unknown module "
dboot_printf("ignoring unknown option '%s'\n", q);
dboot_printf("Short hash module of length "
dboot_printf("\ttype: %u %" PRIx64 "..%"
dboot_printf("memlists[%u] %"
dboot_printf("rsvdmemlists[%u] %"
dboot_printf("%d.", EFI_REV_MAJOR(ver));
dboot_printf("%d.%d\n", rev / 10, rev % 10);
dboot_printf("%d\n", rev / 10);
dboot_printf("EFI32 signature: %llx\n",
dboot_printf("EFI system version: ");
dboot_printf("EFI system vendor: ");
dboot_printf("%c", (char)data[i]);
dboot_printf("\nEFI firmware revision: ");
dboot_printf("EFI system table number of entries: %d\n",
dboot_printf("%d: 0x%x 0x%x 0x%x 0x%x 0x%x", i,
dboot_printf(" 0x%x 0x%x 0x%x 0x%x 0x%x 0x%x\n",
dboot_printf("EFI64 signature: %llx\n",
dboot_printf("EFI system version: ");
dboot_printf("EFI system vendor: ");
dboot_printf("%c", (char)data[i]);
dboot_printf("\nEFI firmware revision: ");
dboot_printf("EFI system table number of entries: %" PRIu64 "\n",
dboot_printf("%d: 0x%x 0x%x 0x%x 0x%x 0x%x", i,
dboot_printf(" 0x%x 0x%x 0x%x 0x%x 0x%x 0x%x\n",
dboot_printf("1:1 map pa=0..1Meg\n");
dboot_printf("1:1 map pa=%" PRIx64 "..%" PRIx64 "\n",
dboot_printf("FB 1:1 map pa=%" PRIx64 "..%" PRIx64 "\n",
dboot_printf("Kernel loaded by: %s\n", bootloader);
dboot_printf("Using multiboot %d boot protocol.\n",
dboot_printf("xen capabilities %s\n", caps);
dboot_printf("cpuid not supported\n");
dboot_printf(
dboot_printf("\nFinal memlists:\n");
dboot_printf("\t%d: addr=%" PRIx64 " size=%"
dboot_printf("ma_to_pa(%" PRIx64 ") got %" PRIx64 ", "
dboot_printf("pa_to_ma(pfn=%lx) got %lx ma_to_pa() says %lx\n",
dboot_printf("new page table lvl=%d paddr=0x%lx ptp=0x%"
dboot_printf("Finished pagetables:\n");
dboot_printf("%s %p[0x%x] = %" PRIx64 ", va=%" PRIx64,
dboot_printf(" physaddr=%x\n", pa);
dboot_printf("%s...\n", tabs + l);
dboot_printf("mapping ma=0x%" PRIx64 " va=0x%" PRIx64
dboot_printf("building pcimemlists:\n");
dboot_printf("\ttype: %d %" PRIx64 "..%"
dboot_printf("pcimemlist entry 0x%" PRIx64 "..0x%"
dboot_printf(s); \
dboot_printf("%s is 0x%" PRIx64 "\n", #x, (uint64_t)(x)); \