/* Called when the architecture exits its oops handler, after printing everything.  */
void oops_exit(void)
/* Called when the architecture exits its oops handler, after printing everything.  */
void oops_exit(void)
{
	do_oops_enter_exit();
	print_oops_end_marker();
	kmsg_dump(KMSG_DUMP_OOPS);
}