diff --git a/sys/arch/arm26/arm26/except.c b/sys/arch/arm26/arm26/except.c
index 17d365ddcdd1..3cb3724398d2 100644
--- a/sys/arch/arm26/arm26/except.c
+++ b/sys/arch/arm26/arm26/except.c
@@ -1,4 +1,4 @@
-/* $NetBSD: except.c,v 1.35 2001/06/26 19:22:02 bjh21 Exp $ */
+/* $NetBSD: except.c,v 1.36 2001/06/26 19:37:18 bjh21 Exp $ */
 /*-
  * Copyright (c) 1998, 1999, 2000 Ben Harris
  * All rights reserved.
@@ -32,7 +32,7 @@
 
 #include <sys/param.h>
 
-__KERNEL_RCSID(0, "$NetBSD: except.c,v 1.35 2001/06/26 19:22:02 bjh21 Exp $");
+__KERNEL_RCSID(0, "$NetBSD: except.c,v 1.36 2001/06/26 19:37:18 bjh21 Exp $");
 
 #include "opt_cputypes.h"
 #include "opt_ddb.h"
@@ -398,17 +398,9 @@ do_fault(struct trapframe *tf, struct proc *p,
 
 	if (pmap_fault(map->pmap, va, atype))
 		return;
-#ifdef DEBUG
-	if (current_intr_depth > 0) {
-		printf("fault in interrupt context\n");
-		printregs(tf);
-		printf("pc -> ");
-		disassemble(tf->tf_r15 & R15_PC);
-#ifdef DDB
-		Debugger();
-#endif
-	}		
-#endif
+
+	KASSERT(current_intr_depth == 0);
+
 	for (;;) {
 		error = uvm_fault(map, va, 0, atype);
 		if (error != ENOMEM)