SHOW_REGS_ALL
__show_regs(&exec_summary_regs, SHOW_REGS_ALL, KERN_DEFAULT);
print_kernel_regs = user_mode(regs) ? SHOW_REGS_USER : SHOW_REGS_ALL;
if (mode != SHOW_REGS_ALL)