|
@@ -360,8 +360,7 @@ static void call_console_drivers(unsigned long start, unsigned long end)
|
|
|
unsigned long cur_index, start_print;
|
|
|
static int msg_level = -1;
|
|
|
|
|
|
- if (((long)(start - end)) > 0)
|
|
|
- BUG();
|
|
|
+ BUG_ON(((long)(start - end)) > 0);
|
|
|
|
|
|
cur_index = start;
|
|
|
start_print = start;
|
|
@@ -708,8 +707,7 @@ int __init add_preferred_console(char *name, int idx, char *options)
|
|
|
*/
|
|
|
void acquire_console_sem(void)
|
|
|
{
|
|
|
- if (in_interrupt())
|
|
|
- BUG();
|
|
|
+ BUG_ON(in_interrupt());
|
|
|
down(&console_sem);
|
|
|
console_locked = 1;
|
|
|
console_may_schedule = 1;
|