Add -u to usage message.
[pintos-anon] / src / threads / interrupt.h
index 5060b9d90bf7d2764b2e1d4e00e785212bca3f7e..adb7fa99b4a424e116914551c4edb0f3d2d30d20 100644 (file)
@@ -36,7 +36,7 @@ struct intr_frame
     uint32_t vec_no;            /* Interrupt vector number. */
 
     /* Sometimes pushed by the CPU,
-       otherwise by intrXX_stub for consistency. */
+       otherwise for consistency pushed as 0 by intrXX_stub. */
     uint32_t error_code;        /* Error code. */
 
     /* Pushed by the CPU.