oops_end(); 
oops_end(flags); 
static noinline void pgtable_bad(unsigned long address, struct pt_regs *regs,				 unsigned long error_code){	oops_begin();	printk(KERN_ALERT "%s: Corrupted page table at address %lx\n",	       current->comm, address);	dump_pagetable(address);	__die("Bad pagetable", regs, error_code);	oops_end();	do_exit(SIGKILL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1209140c3c70aaa32d1a0462d79557f2a44a4ef8/fault.c/buggy/arch/x86_64/mm/fault.c