show_kernel_fault_diag
void show_kernel_fault_diag(const char *str, struct pt_regs *regs,
show_kernel_fault_diag(str, regs, address);