Allow printing when the kernel faults
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 5 Jun 2014 22:42:11 +0000 (15:42 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 5 Jun 2014 22:42:11 +0000 (15:42 -0700)
commitdd7d3f05483b49b799cbd6af2d40e7a51d334b73
tree2f6993cc8416daba30dec47655af8be8cf11594a
parente4c4adb93356916e8bfea8da3308ebdd0b8c9962
Allow printing when the kernel faults

On occasion, printk faults due to other bugs.  It does so when holding
the output_lock, and then the fault handler deadlocks since it can't
print anything.

This just disables print locking when the kernel is in a trap context,
which almost always is a bug that we want to hear about.
kern/src/printf.c