|
@@ -8,6 +8,7 @@
|
|
|
*
|
|
|
* Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
|
|
|
*/
|
|
|
+#include <linux/kernel.h>
|
|
|
#include <linux/rwsem.h>
|
|
|
#include <linux/mutex.h>
|
|
|
#include <linux/module.h>
|
|
@@ -37,6 +38,7 @@ int debug_locks_off(void)
|
|
|
{
|
|
|
if (xchg(&debug_locks, 0)) {
|
|
|
if (!debug_locks_silent) {
|
|
|
+ oops_in_progress = 1;
|
|
|
console_verbose();
|
|
|
return 1;
|
|
|
}
|