HelenOS sources
panic 140 kernel/arch/amd64/src/interrupt.c panic("FPU fault.");
panic 51 kernel/arch/amd64/src/kseg.c panic("Cannot allocate kseg.");
panic 81 kernel/arch/amd64/src/mm/page.c panic("Reserved bit set in page table entry.");
panic 279 kernel/arch/amd64/src/pm.c panic("Cannot allocate TSS.");
panic 166 kernel/arch/amd64/src/smp/smp.c panic("Cannot allocate memory for GDT.");
panic 64 kernel/arch/amd64/src/vreg.c panic("Cannot allocate VREG frame.");
panic 348 kernel/arch/arm32/src/cpu/cpu.c panic("Unknown cache type");
panic 147 kernel/arch/arm32/src/mm/page_fault.c panic("page_fault - instruction does not access memory "
panic 186 kernel/arch/arm32/src/mm/page_fault.c panic("page_fault - instruction doesn't access memory "
panic 233 kernel/arch/arm32/src/mm/page_fault.c panic("Unhandled abort %s at address: %#x.",
panic 46 kernel/arch/arm64/src/smp/ipi.c panic("broadcast IPI not implemented.");
panic 90 kernel/arch/ia32/src/mm/page.c panic("Reserved bit set in page directory.");
panic 287 kernel/arch/ia32/src/pm.c panic("Cannot allocate TSS.");
panic 166 kernel/arch/ia32/src/smp/smp.c panic("Cannot allocate memory for GDT.");
panic 65 kernel/arch/ia32/src/vreg.c panic("Cannot allocate VREG frame.");
panic 157 kernel/arch/ia64/src/drivers/ski.c panic("Cannot allocate page for ski console.");
panic 271 kernel/arch/ia64/src/interrupt.c panic("Unhandled Internal Timer Interrupt (%d).",
panic 47 kernel/arch/ia64/src/mm/vhpt.c panic("Kernel configured with VHPT but no memory for table.");
panic 41 kernel/arch/mips32/src/cache.c panic("cache_error exception (epc=%p).", (void *) istate->epc);
panic 335 kernel/arch/mips32/src/debugger.c panic("Breakpoint in branch delay slot not supported.");
panic 119 kernel/arch/ppc32/src/ppc32.c panic("Could not find cpus node.");
panic 123 kernel/arch/ppc32/src/ppc32.c panic("Could not find first cpu.");
panic 127 kernel/arch/ppc32/src/ppc32.c panic("Could not get frequency property.");
panic 65 kernel/arch/sparc64/src/console.c panic("Cannot find property 'screen'.");
panic 67 kernel/arch/sparc64/src/console.c panic("Cannot find screen alias.");
panic 70 kernel/arch/sparc64/src/console.c panic("Cannot find %s.", (char *) prop_scr->value);
panic 78 kernel/arch/sparc64/src/console.c panic("Cannot find property 'keyboard'.");
panic 80 kernel/arch/sparc64/src/console.c panic("Cannot find keyboard alias.");
panic 83 kernel/arch/sparc64/src/console.c panic("Cannot find %s.", (char *) prop_kbd->value);
panic 109 kernel/arch/sparc64/src/console.c panic("Cannot find '/aliases'.");
panic 60 kernel/arch/sparc64/src/cpu/sun4v/cpu.c panic("Could not determine CPU frequency.");
panic 114 kernel/arch/sparc64/src/drivers/scr.c panic("Cannot find 'reg' property.");
panic 287 kernel/arch/sparc64/src/drivers/scr.c panic("Unexpected type.");
panic 250 kernel/arch/sparc64/src/mm/sun4u/tlb.c panic("NULL pointer dereference.");
panic 255 kernel/arch/sparc64/src/mm/sun4u/tlb.c panic("Unexpected kernel page fault.");
panic 257 kernel/arch/sparc64/src/mm/sun4v/tlb.c panic("NULL pointer dereference.");
panic 262 kernel/arch/sparc64/src/mm/sun4v/tlb.c panic("Unexpected kernel page fault.");
panic 360 kernel/arch/sparc64/src/mm/sun4v/tlb.c panic("Error code = %" PRIu64 ".\n", errno);
panic 103 kernel/arch/sparc64/src/smp/sun4u/ipi.c panic("Interrupt Dispatch Status busy bit set\n");
panic 156 kernel/arch/sparc64/src/smp/sun4u/ipi.c panic("Unknown IPI (%d).\n", ipi);
panic 106 kernel/arch/sparc64/src/smp/sun4v/ipi.c panic("Unknown IPI (%d).\n", ipi);
panic 60 kernel/arch/sparc64/src/trap/sun4u/interrupt.c panic("Interrupt Dispatch Status busy bit not set\n");
panic 88 kernel/arch/sparc64/src/trap/sun4v/interrupt.c panic("Initializing mondo queue failed on CPU %" PRIu64 ".\n",
panic 201 kernel/genarch/src/acpi/madt.c panic("Memory allocation error.");
panic 214 kernel/genarch/src/acpi/madt.c panic("Sorting error.");
panic 68 kernel/genarch/src/mm/asid_fifo.c panic("Not enough memory to allocate ASID FIFO");
panic 275 kernel/genarch/src/mm/page_ht.c panic("Updating non-existent PTE");
panic 359 kernel/genarch/src/mm/page_pt.c panic("Updating non-existent PTE");
panic 390 kernel/genarch/src/ofw/ofw_tree.c panic("Not enough memory to process OFW tree.");
panic 104 kernel/genarch/src/ofw/pci.c panic("Cannot find 'assigned-addresses' property.");
panic 68 kernel/generic/src/cpu/cpu.c panic("Cannot allocate CPU structures.");
panic 81 kernel/generic/src/cpu/cpu.c panic("Cannot allocate CPU stack.");
panic 139 kernel/generic/src/debug/util.h panic("unimplemented");
panic 100 kernel/generic/src/interrupt/interrupt.c panic("No space for any exception handler, cannot register.");
panic 157 kernel/generic/src/interrupt/interrupt.c panic("No space for any exception handler, yet we want to handle some exception.");
panic 354 kernel/generic/src/lib/ra.c panic("Freeing segment which is not known to be used (base=%zx"
panic 448 kernel/generic/src/lib/ra.c panic("Freeing to wrong arena (base=%" PRIxPTR ", size=%zd).",
panic 120 kernel/generic/src/lib/ubsan.c panic("... aborting ...");
panic 121 kernel/generic/src/main/kinit.c panic("Unable to create kmp thread.");
panic 273 kernel/generic/src/main/main.c panic("Cannot create kernel task.");
panic 281 kernel/generic/src/main/main.c panic("Cannot create kinit thread.");
panic 160 kernel/generic/src/mm/as.c panic("Cannot create kernel address space.");
panic 262 kernel/generic/src/mm/backend_anon.c panic("Cannot insert used space.");
panic 306 kernel/generic/src/mm/backend_elf.c panic("Cannot insert used space.");
panic 401 kernel/generic/src/mm/backend_elf.c panic("Cannot insert used space.");
panic 150 kernel/generic/src/mm/backend_phys.c panic("Cannot insert used space.");
panic 151 kernel/generic/src/mm/backend_user.c panic("Cannot insert used space.");
panic 775 kernel/generic/src/mm/frame.c panic("Cannot find configuration data for zone.");
panic 937 kernel/generic/src/mm/frame.c panic("Cannot wait for %zu frames to become available "
panic 124 kernel/generic/src/mm/km.c panic("Kernel ran out of virtual address space.");
panic 647 kernel/generic/src/mm/slab.c panic("Not enough memory to allocate slab cache %s.", name);
panic 750 kernel/generic/src/mm/slab.c panic("Destroying cache that is not empty.");
panic 182 kernel/generic/src/mm/tlb.c panic("Unknown type (%d).", type);
panic 464 kernel/generic/src/proc/scheduler.c panic("tid%" PRIu64 ": unexpected state %s.",
panic 80 kernel/generic/src/time/clock.c panic("Cannot allocate page for clock.");
HelenOS homepage, sources at GitHub