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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c231 void *shmem_tmp = NULL; local
317 shmem_tmp = vspace_map_pages(get_serial_server()->server_vspace, client_frame_caps,
322 if (shmem_tmp == NULL) {
328 serial_server_registry_insert(client_badge_value, shmem_tmp,
332 client_badge_value, shmem_tmp, client_shmem_n_pages);
337 if (shmem_tmp != NULL) {
338 vspace_unmap_pages(get_serial_server()->server_vspace, shmem_tmp,

Completed in 346 milliseconds