Searched refs:client_frame_caps (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c232 seL4_CPtr *client_frame_caps = NULL; local
281 client_frame_caps = calloc((client_shmem_n_pages + 1), sizeof(seL4_CPtr));
282 if (client_frame_caps == NULL) {
310 client_frame_caps[i] = client_frame_cspath_tmp.capPtr;
313 client_frame_caps[i]);
317 shmem_tmp = vspace_map_pages(get_serial_server()->server_vspace, client_frame_caps,
329 client_frame_caps, client_shmem_size);
343 if (client_frame_caps != NULL) {
345 /* Because client_frame_caps was alloc'd with calloc, we can depend on
348 if (client_frame_caps[
[all...]

Completed in 75 milliseconds