pagefault
faultcode_t pagefault(), res, errcode;
res = pagefault(addr,
res = pagefault(addr,
res = pagefault(addr, fault_type, rw, 0);
extern faultcode_t pagefault(caddr_t, enum fault_type,
res = pagefault(addr, fault_type, rw, iskernel);
res = pagefault(addr, fault_type, rw, 0);