diff options
Diffstat (limited to 'openvz-sources/022.078/9011_diff-dbg-nmi-printk2b-20060526.patch')
| -rw-r--r-- | openvz-sources/022.078/9011_diff-dbg-nmi-printk2b-20060526.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/openvz-sources/022.078/9011_diff-dbg-nmi-printk2b-20060526.patch b/openvz-sources/022.078/9011_diff-dbg-nmi-printk2b-20060526.patch deleted file mode 100644 index da2f431..0000000 --- a/openvz-sources/022.078/9011_diff-dbg-nmi-printk2b-20060526.patch +++ /dev/null @@ -1,15 +0,0 @@ ---- ./kernel/printk.c.dbgnmp2 Wed May 24 15:35:39 2006 -+++ ./kernel/printk.c Fri May 26 17:05:38 2006 -@@ -656,8 +656,11 @@ EXPORT_SYMBOL(vprintk); - static struct timer_list conswakeup_timer; - static void conswakeup_timer_call(unsigned long dumy) - { -- if (!down_trylock(&console_sem)) -+ if (!down_trylock(&console_sem)) { -+ console_locked = 1; -+ console_may_schedule = 0; - release_console_sem(); -+ } - mod_timer(&conswakeup_timer, jiffies + 5 * HZ); - } - |