44 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
45 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
46 	ATF_CHECK_EQ(avail[1], 3 * PAGE_SIZE);  in ATF_TC_BODY()
51 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
52 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
53 	ATF_CHECK_EQ(avail[1], 4 * PAGE_SIZE);  in ATF_TC_BODY()
58 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
59 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
60 	ATF_CHECK_EQ(avail[1], 5 * PAGE_SIZE);  in ATF_TC_BODY()
65 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
66 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
67 	ATF_CHECK_EQ(avail[1], 6 * PAGE_SIZE);  in ATF_TC_BODY()
72 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
73 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
74 	ATF_CHECK_EQ(avail[1], 6 * PAGE_SIZE);  in ATF_TC_BODY()
79 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
80 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
81 	ATF_CHECK_EQ(avail[1], 7 * PAGE_SIZE);  in ATF_TC_BODY()
94 	ATF_CHECK_EQ(len, 4);  in ATF_TC_BODY()
95 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
96 	ATF_CHECK_EQ(avail[1], 4 * PAGE_SIZE);  in ATF_TC_BODY()
97 	ATF_CHECK_EQ(avail[2], 5 * PAGE_SIZE);  in ATF_TC_BODY()
98 	ATF_CHECK_EQ(avail[3], 7 * PAGE_SIZE);  in ATF_TC_BODY()
104 	ATF_CHECK_EQ(len, 4);  in ATF_TC_BODY()
105 	ATF_CHECK_EQ(avail[0], 2 * PAGE_SIZE);  in ATF_TC_BODY()
106 	ATF_CHECK_EQ(avail[1], 3 * PAGE_SIZE);  in ATF_TC_BODY()
107 	ATF_CHECK_EQ(avail[2], 6 * PAGE_SIZE);  in ATF_TC_BODY()
108 	ATF_CHECK_EQ(avail[3], 7 * PAGE_SIZE);  in ATF_TC_BODY()
125 	ATF_CHECK_EQ(len, 2);  in ATF_TC_BODY()
126 	ATF_CHECK_EQ(avail[0], PAGE_SIZE);  in ATF_TC_BODY()
127 	ATF_CHECK_EQ(avail[1], 3 * PAGE_SIZE);  in ATF_TC_BODY()