30 	char buf[512];  in print_reg_file()  local
31 	int n = 0, len = sizeof(buf);  in print_reg_file()
34 		n += scnprintf(buf + n, len - n, "r%02u: 0x%08lx\t",  in print_reg_file()
38 			n += scnprintf(buf + n, len - n, "\n");  in print_reg_file()
48 		n += scnprintf(buf + n, len - n, "\n\n");  in print_reg_file()
52 		pr_info("%s", buf);  in print_reg_file()
54 		pr_cont("%s\n", buf);  in print_reg_file()
62 static void print_task_path_n_nm(struct task_struct *tsk, char *buf)  in print_task_path_n_nm()  argument
76 		path_nm = file_path(exe_file, buf, 255);  in print_task_path_n_nm()
84 static void show_faulting_vma(unsigned long address, char *buf)  in show_faulting_vma()  argument
90 	char *nm = buf;  in show_faulting_vma()
105 			nm = file_path(file, buf, PAGE_SIZE - 1);  in show_faulting_vma()
179 	char *buf;  in show_regs()  local
181 	buf = (char *)__get_free_page(GFP_KERNEL);  in show_regs()
182 	if (!buf)  in show_regs()
185 	print_task_path_n_nm(tsk, buf);  in show_regs()
195 		show_faulting_vma(regs->ret, buf); /* faulting code, not data */  in show_regs()
228 	free_page((unsigned long)buf);  in show_regs()