bop_printf
_kobj_printf = bop_printf;
bop_printf(NULL,
bop_printf(NULL, "unsupported mac type %d, mac len %d\n",
bop_printf(NULL, "Stack traceback:\n");
bop_printf(NULL, " %s+%lx", ksym, off);
bop_printf(NULL, " 0x%lx", pc);
bop_printf(NULL, "\n");
bop_printf(NULL, "\n");
bop_printf(NULL, "Unexpected trap\n");
bop_printf(NULL, "error code 0x%lx\n",
bop_printf(NULL, "instruction pointer 0x%lx\n", tf->inst_ptr);
bop_printf(NULL, "code segment 0x%lx\n", tf->code_seg & 0xffff);
bop_printf(NULL, "flags register 0x%lx\n", tf->flags_reg);
bop_printf(NULL, "return %%rsp 0x%lx\n", tf->stk_ptr);
bop_printf(NULL, "return %%ss 0x%lx\n", tf->stk_seg & 0xffff);
bop_printf(NULL, "%%cr2 0x%lx\n", getcr2());
bop_printf(NULL, "Attempting stack backtrace:\n");
bops->bsys_printf = bop_printf;
bop_printf(NULL, "no RSDP found!\n");
bop_printf(NULL, "RSDP found at physical 0x%lx\n", paddr);
bop_printf(NULL, "MADT type %d\n", item->Type);
bop_printf(NULL, "SRAT type %d\n", item->Type);
bop_printf(NULL, "64-bit UEFI detected.\n");
bop_printf(NULL, "32-bit UEFI detected.\n");
bop_printf(NULL, "do_bsys_free(virt=0x%p, size=0x%lx) ignored\n",
bop_printf(NULL, "\nBoot properties:\n");
bop_printf(NULL, "\t0x%p %s = ", (void *)name, name);
bop_printf(NULL, "len=%d ", len);
bop_printf(NULL, "%08x", buf32[i]);
bop_printf(NULL, ".");
bop_printf(NULL, "%s", buffer);
bop_printf(NULL, "%016" PRIx64, buf64[i]);
bop_printf(NULL, ".");
bop_printf(NULL, "%s", buffer);
bop_printf(NULL, "%02x", buffer[i] & 0xff);
bop_printf(NULL, ".");
bop_printf(NULL, "\n");
#define DBG_MSG(s) { if (kbm_debug) bop_printf(NULL, "%s", s); }
bop_printf(NULL, "%s is %" PRIx64 "\n", #x, (uint64_t)(x)); \
bop_printf(NULL, "\nPress any key to reboot.\n");
bop_printf(NULL, "Resetting...\n");
bop_printf(NULL, "kboot_mmu.c: %s is %" PRIx64 "\n", #x, (uint64_t)(x));
extern void bop_printf(void *, const char *, ...)
extern void bop_printf(void *ops, const char *fmt, ...);