T_PAGEFLT
#define BUS_PAGE_FAULT T_PAGEFLT /* page fault protection base */
if (type == T_PAGEFLT) {
eva = (frame->tf_trapno == T_PAGEFLT ? frame->tf_addr : 0);
case T_PAGEFLT: /* page fault */
case T_PAGEFLT: /* page fault */
if ((type == T_PAGEFLT) || (type == T_PROTFLT))
if (frame->tf_trapno == T_PAGEFLT)
eva = (frame->tf_trapno == T_PAGEFLT ? rcr2() : 0);
case T_PAGEFLT: /* page fault */
if ((type == T_PAGEFLT) || (type == T_PROTFLT))
if (frame->tf_trapno == T_PAGEFLT)
case T_PAGEFLT: /* page fault */
if ((type == T_PAGEFLT) || (type == T_PROTFLT))
if (type == T_PAGEFLT) {