emp_fault_handl.h~

#include <asm/traps.h>

void new_page_fault(void)
{
  goto 0xc12d33a8;