down_console_sem 2281 kernel/printk/printk.c 	down_console_sem();
down_console_sem 2317 kernel/printk/printk.c 	down_console_sem();