86 #define	DBG_MSG(s)	{ if (kbm_debug) bop_printf(NULL, "%s", s); }
88 	bop_printf(NULL, "%s is %" PRIx64 "\n", #x, (uint64_t)(x));	\
344 	bop_printf(NULL, "do_bsys_free(virt=0x%p, size=0x%lx) ignored\n",  in do_bsys_free()
612 	bop_printf(NULL, "\nBoot properties:\n");  in boot_prop_display()
615 		bop_printf(NULL, "\t0x%p %s = ", (void *)name, name);  in boot_prop_display()
619 		bop_printf(NULL, "len=%d ", len);  in boot_prop_display()
626 				bop_printf(NULL, "%08x", buf32[i]);  in boot_prop_display()
628 					bop_printf(NULL, ".");  in boot_prop_display()
632 			bop_printf(NULL, "%s", buffer);  in boot_prop_display()
638 				bop_printf(NULL, "%016" PRIx64, buf64[i]);  in boot_prop_display()
640 					bop_printf(NULL, ".");  in boot_prop_display()
646 				bop_printf(NULL, "%s", buffer);  in boot_prop_display()
650 				bop_printf(NULL, "%02x", buffer[i] & 0xff);  in boot_prop_display()
652 					bop_printf(NULL, ".");  in boot_prop_display()
656 		bop_printf(NULL, "\n");  in boot_prop_display()
895 bop_printf(void *bop, const char *fmt, ...)  in bop_printf()  function
918 	bop_printf(NULL, "\nPress any key to reboot.\n");  in bop_panic()
920 	bop_printf(NULL, "Resetting...\n");  in bop_panic()
1142 		bop_printf(NULL,  in xen_ip_props()
1180 		bop_printf(NULL, "unsupported mac type %d, mac len %d\n",  in setup_rarp_props()
2007 	bop_printf(NULL, "Stack traceback:\n");  in bop_traceback()
2014 			bop_printf(NULL, "  %s+%lx", ksym, off);  in bop_traceback()
2016 			bop_printf(NULL, "  0x%lx", pc);  in bop_traceback()
2020 			bop_printf(NULL, "\n");  in bop_traceback()
2023 		bop_printf(NULL, "\n");  in bop_traceback()
2049 	bop_printf(NULL, "Unexpected trap\n");  in bop_trap()
2057 		bop_printf(NULL, "error code           0x%lx\n",  in bop_trap()
2060 	bop_printf(NULL, "instruction pointer  0x%lx\n", tf->inst_ptr);  in bop_trap()
2061 	bop_printf(NULL, "code segment         0x%lx\n", tf->code_seg & 0xffff);  in bop_trap()
2062 	bop_printf(NULL, "flags register       0x%lx\n", tf->flags_reg);  in bop_trap()
2063 	bop_printf(NULL, "return %%rsp          0x%lx\n", tf->stk_ptr);  in bop_trap()
2064 	bop_printf(NULL, "return %%ss           0x%lx\n", tf->stk_seg & 0xffff);  in bop_trap()
2065 	bop_printf(NULL, "%%cr2			0x%lx\n", getcr2());  in bop_trap()
2070 	bop_printf(NULL, "Attempting stack backtrace:\n");  in bop_trap()
2187 	bops->bsys_printf = bop_printf;  in _start()
2393 		bop_printf(NULL, "no RSDP found!\n");  in find_rsdp()
2398 		bop_printf(NULL, "RSDP found at physical 0x%lx\n", paddr);  in find_rsdp()
2578 				bop_printf(NULL, "MADT type %d\n", item->Type);  in process_madt_entries()
2753 				bop_printf(NULL, "SRAT type %d\n", item->Type);  in process_srat()
2926 			bop_printf(NULL, "64-bit UEFI detected.\n");  in build_firmware_properties()
2932 			bop_printf(NULL, "32-bit UEFI detected.\n");  in build_firmware_properties()