bop_panic
bop_panic("Unable to boot");
bop_panic(
bop_panic("find_pte(): phys not found!");
bop_panic("relocate_boot_archive(): "
bop_panic("relocate_boot_archive(): "
bop_panic("Nested trap");
bop_panic("unexpected trap in early boot");
bop_panic("do_bop_phys_alloc(0x%" PRIx64 ", 0x%" PRIx64
bop_panic("Not enough memory for APIC ID array");
bop_panic("HYPERVISOR_update_va_mapping() failed");
bop_panic("kbm_map: find_pte returned NULL");
bop_panic("HYPERVISOR_update_va_mapping() failed");
bop_panic("HYPERVISOR_update_va_mapping failed");
bop_panic("kbm_probe: find_pte returned NULL");
bop_panic("kbm_remap: find_pte returned NULL");
bop_panic("HYPERVISOR_update_va_mapping() failed");
bop_panic("HYPERVISOR_update_va_mapping() failed");
bop_panic("kbm_read_only: find_pte returned NULL");
bop_panic("HYPERVISOR_update_va_mapping() failed");
bop_panic("HYPERVISOR_mmu_update() failed");
extern void bop_panic(const char *, ...)
extern void bop_panic(const char *s);