From cb2d810b38b3fa4ade57dc8b2a79dd20de753b06 Mon Sep 17 00:00:00 2001
From: Sean Cross <sean@xobs.io>
Date: Fri, 30 Oct 2020 10:16:14 +0800
Subject: [PATCH] kernel: irq: prefix pagefault message with `KERNEL(pid)`

This unifies this message with other kernel messages.

Signed-off-by: Sean Cross <sean@xobs.io>
---
 kernel/src/arch/riscv/irq.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/src/arch/riscv/irq.rs b/kernel/src/arch/riscv/irq.rs
index 86787ba28..4bef20664 100644
--- a/kernel/src/arch/riscv/irq.rs
+++ b/kernel/src/arch/riscv/irq.rs
@@ -121,7 +121,7 @@ pub extern "C" fn trap_handler(
         // it with one if necessary.
         match ex {
             RiscvException::StorePageFault(pc, addr) | RiscvException::LoadPageFault(pc, addr) => {
-                println!("Fault {} @ {:08x}, addr {:08x}", ex, pc, addr);
+                println!("KERNEL({}): RISC-V fault: {} @ {:08x}, addr {:08x}", pid, ex, pc, addr);
                 let entry = crate::arch::mem::pagetable_entry(addr).unwrap_or_else(|x| {
                     // MemoryManagerHandle::get().print_ownership();
                     MemoryMapping::current().print_map();