shorten comment

7c00ce81 · Frans Kaashoek · ed396c06 · 7c00ce81
--- a/proc.c
+++ b/proc.c
@@ -36,13 +36,9 @@ cpuid() {
 struct cpu*
 mycpu(void)
 {
-  // Would prefer to panic but even printing is chancy here: almost everything,
-  // including cprintf and panic, calls mycpu(), often indirectly through
-  // acquire and release.
  if(readeflags()&FL_IF){
-    static int n;
+    // Would prefer to panic but panic calls mycpu().
-    if(n++ == 0)
+    cprintf("mycpu called from %x with interrupts enabled\n",
-      cprintf("mycpu called from %x with interrupts enabled\n",
        __builtin_return_address(0));
  }