Symbol: set_user_specified
kernel/printk/printk.c
2591
set_user_specified(c, user_specified);
kernel/printk/printk.c
2604
set_user_specified(c, user_specified);