DIE_PAGE_FAULT
if (cmd == DIE_PAGE_FAULT)
case DIE_PAGE_FAULT:
if (notify_die(DIE_PAGE_FAULT, "page fault", regs, -1,