Lines Matching refs:ATF_CHECK
66 ATF_CHECK(copyin_checker(0, 0) == 0);
67 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS - 10, 9) == 0);
68 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS - 10, 10) == 0);
69 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS - 10, 11) == EFAULT);
70 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS - 1, 1) == 0);
71 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS, 0) == 0);
72 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS, 1) == EFAULT);
73 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS, 2) == EFAULT);
74 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS + 1, 0) == 0);
75 ATF_CHECK(copyin_checker(VM_MAXUSER_ADDRESS + 1, 2) == EFAULT);
76 ATF_CHECK(copyin_checker(FMAX - 10, 9) == EFAULT);
77 ATF_CHECK(copyin_checker(FMAX - 10, 10) == EFAULT);
78 ATF_CHECK(copyin_checker(FMAX - 10, 11) == EFAULT);