libsel4serialserver/src/test.c

34 test_server_spawn(struct env *env)
38     error = serial_server_parent_spawn_thread(&env->simple,
39                                               &env->vka, &env->vspace,
48 test_parent_connect(struct env *env)
54     error = serial_server_parent_spawn_thread(&env->simple,
55                                               &env->vka, &env->vspace,
60     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
64                                          &env->vka, &env->vspace, &conn);
72 test_parent_printf(struct env *env)
78     error = serial_server_parent_spawn_thread(&env->simple,
79                                               &env->vka, &env->vspace,
84     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
88                                          &env->vka, &env->vspace, &conn);
98 test_parent_write(struct env *env)
104     error = serial_server_parent_spawn_thread(&env->simple,
105                                               &env->vka, &env->vspace,
110     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
114                                          &env->vka, &env->vspace, &conn);
125 test_parent_disconnect_reconnect_write_and_printf(struct env *env)
131     error = serial_server_parent_spawn_thread(&env->simple,
132                                               &env->vka, &env->vspace,
137     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
141                                          &env->vka, &env->vspace, &conn);
156     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
160                                          &env->vka, &env->vspace, &conn);
177 test_kill_from_parent(struct env *env)
183     error = serial_server_parent_spawn_thread(&env->simple,
184                                               &env->vka, &env->vspace,
188     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
192                                          &env->vka, &env->vspace, &conn);
205 test_spawn_thread_inputs(struct env *env)
210     error = serial_server_parent_spawn_thread(NULL, &env->vka,
211                                               &env->vspace,
214     error = serial_server_parent_spawn_thread(&env->simple, NULL,
215                                               &env->vspace,
218     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
229 test_connect_inputs(struct env *env)
236     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
237                                               &env->vspace,
242     error = serial_server_parent_vka_mint_endpoint(&env->vka, NULL);
244     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
248                                          &env->vka, &env->vspace, &conn);
251                                          NULL, &env->vspace, &conn);
254                                          &env->vka, NULL, &conn);
257                                          &env->vka, &env->vspace, NULL);
266 test_printf_inputs(struct env *env)
273     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
274                                               &env->vspace,
277     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
280                                          &env->vka, &env->vspace, &conn);
294 test_write_inputs(struct env *env)
301     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
302                                               &env->vspace,
305     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
308                                          &env->vka, &env->vspace, &conn);