msg_print_ext_body  923 kernel/printk/printk.c 	len += msg_print_ext_body(user->buf + len, sizeof(user->buf) - len,
msg_print_ext_body 2483 kernel/printk/printk.c 			ext_len += msg_print_ext_body(ext_text + ext_len,