kernel: restore debug prints for a page fault in the kernel, since SMP failures are rare now

This commit is contained in:
K. Lange 2021-08-20 17:14:40 +09:00
parent a34dadba37
commit 61b7444192

View File

@ -179,6 +179,12 @@ struct regs * isr_handler(struct regs * r) {
uintptr_t faulting_address;
asm volatile("mov %%cr2, %0" : "=r"(faulting_address));
if (!this_core->current_process || r->cs == 0x08) {
printf("Page fault in kernel ");
if (this_core->current_process) {
printf("pid=%d (%s) ", (int)this_core->current_process->id, this_core->current_process->name);
}
printf("at %#zx\n", faulting_address);
dump_regs(r);
arch_fatal();
}
if (faulting_address == 0xFFFFB00F) {