diff --git a/kern/src/hexdump.c b/kern/src/hexdump.c
index 19493c4..4495ddd 100644
--- a/kern/src/hexdump.c
+++ b/kern/src/hexdump.c
@@ -70,7 +70,8 @@
 /* easier in monitor */
 void pahexdump(uintptr_t pa, int len)
 {
-	void *v = KADDR(pa);
+	void *v = KADDR_NOCHECK(pa);
+
 	hexdump(v, len);
 }