T_PAGEFLT
if ((type == T_PROTFLT || type == T_PAGEFLT) &&
case T_PAGEFLT:
case T_PAGEFLT|T_USER: {
if (type == T_PAGEFLT && va >= VM_MIN_KERNEL_ADDRESS)
while (type == T_PAGEFLT) {
if (type == T_PAGEFLT) {
if ((type == T_PROTFLT || type == T_PAGEFLT) &&
case T_PAGEFLT:
case T_PAGEFLT|T_USER: { /* page fault */
if (type == T_PAGEFLT && va >= VM_MIN_KERNEL_ADDRESS)
while (type == T_PAGEFLT) {
if (type == T_PAGEFLT) {
case T_PAGEFLT: