src/tests/inc_untyped.c

20     int error;
25     error = vka_alloc_cnode_object(&env->vka, 2, &cnode);
26     test_error_eq(error, 0);
28     error = vka_alloc_untyped(&env->vka, seL4_TCBBits + 3, &untyped);
29     test_error_eq(error, 0);
32     error = seL4_Untyped_Retype(untyped.cptr,
36     test_error_eq(error, seL4_RangeError);
38     /* Check we got useful min/max error codes. */
43     error = seL4_Untyped_Retype(untyped.cptr,
47     test_error_eq(error, seL4_RangeError);
51         error = seL4_Untyped_Retype(untyped.cptr,
55         test_error_eq(error, seL4_NoError);
59     error = seL4_Untyped_Retype(untyped.cptr,
63     test_error_eq(error, seL4_RangeError);
67         error = seL4_Untyped_Retype(untyped.cptr,
71         test_error_eq(error, seL4_DeleteFirst);
76         error = seL4_CNode_Delete(cnode.cptr, i, 2);
77         test_error_eq(error, seL4_NoError);
81     error = seL4_Untyped_Retype(untyped.cptr,
85     test_error_eq(error, seL4_RangeError);
87     error = seL4_Untyped_Retype(untyped.cptr,
91     test_error_eq(error, seL4_RangeError);
94     error = seL4_Untyped_Retype(untyped.cptr,
98     test_error_eq(error, seL4_NoError);
102         error = seL4_Untyped_Retype(untyped.cptr,
107             test_error_eq(error, seL4_NoError);
109             test_error_eq(error, seL4_DeleteFirst);
122     int error;
128         error = vka_alloc_untyped(&env->vka, size_bits, &untyped);
129         if (error == 0) {
133     test_error_eq(error, 0);
139         error = seL4_Untyped_Retype(untyped.cptr,
143         test_assert(error);
147     error = seL4_Untyped_Retype(untyped.cptr,
151     test_error_eq(error, seL4_NoError);
163     int error;
169         error = vka_cspace_alloc(&env->vka, &slot[i]);
170         test_error_eq(error, 0);
174     error = vka_alloc_untyped(&env->vka, 16, &untyped);
175     test_error_eq(error, 0);
181         error = seL4_Untyped_Retype(untyped.cptr,
185         test_error_eq(error, seL4_NoError);
189     error = seL4_Untyped_Retype(untyped.cptr,
193     test_error_eq(error, seL4_RangeError);
196     error = seL4_Untyped_Retype(untyped.cptr,
200     test_error_eq(error, seL4_DeleteFirst);
203     error = seL4_Untyped_Retype(untyped.cptr,
207     test_error_eq(error, seL4_NotEnoughMemory);