EFAULT            140 kern/arch/mips/vm/dumbvm.c 		return EFAULT;
EFAULT            149 kern/arch/mips/vm/dumbvm.c 		return EFAULT;
EFAULT            183 kern/arch/mips/vm/dumbvm.c 		return EFAULT;
EFAULT            207 kern/arch/mips/vm/dumbvm.c 	return EFAULT;
EFAULT            129 kern/vm/copyinout.c 		return EFAULT;
EFAULT            134 kern/vm/copyinout.c 		return EFAULT;
EFAULT            164 kern/vm/copyinout.c 		return EFAULT;
EFAULT            172 kern/vm/copyinout.c 		return EFAULT;
EFAULT            200 kern/vm/copyinout.c 		return EFAULT;
EFAULT            208 kern/vm/copyinout.c 		return EFAULT;
EFAULT            251 kern/vm/copyinout.c 		return EFAULT;
EFAULT            281 kern/vm/copyinout.c 		return EFAULT;
EFAULT            314 kern/vm/copyinout.c 		return EFAULT;
EFAULT             85 user/testbin/badcall/bad_execv.c 	report_test(rv, errno, EFAULT, desc);
EFAULT            118 user/testbin/badcall/bad_execv.c 	report_test(rv, errno, EFAULT, desc);
EFAULT            138 user/testbin/badcall/bad_execv.c 	report_test(rv, errno, EFAULT, desc);
EFAULT             53 user/testbin/badcall/bad_ioctl.c 	report_test(rv, errno, EFAULT, desc);
EFAULT             53 user/testbin/badcall/bad_pipe.c 	report_test(rv, errno, EFAULT, desc);
EFAULT             79 user/testbin/badcall/bad_stat.c 	report_test(rv, errno, EFAULT, mydesc);
EFAULT             53 user/testbin/badcall/bad_time.c 	report_test(rv, errno, EFAULT, desc);
EFAULT             63 user/testbin/badcall/bad_time.c 	report_test(rv, errno, EFAULT, desc);
EFAULT             68 user/testbin/badcall/bad_waitpid.c 	report_test(rv, errno, EFAULT, desc);
EFAULT            188 user/testbin/badcall/common_buf.c 	report_test(rv, errno, EFAULT, mydesc);
EFAULT            166 user/testbin/badcall/common_path.c 	report_test(rv, errno, EFAULT, mydesc);
EFAULT            171 user/uw-testbin/files2/files2.c   TEST_EQUAL(saved_errno, EFAULT, "Expected EFAULT for invalid address for filename");