msg_print_ext_header  921 kernel/printk/printk.c 	len = msg_print_ext_header(user->buf, sizeof(user->buf),
msg_print_ext_header 2480 kernel/printk/printk.c 			ext_len = msg_print_ext_header(ext_text,