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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dclientapi.c31 * thread. It does this by allocating some memory to be used as shmem, and then
63 conn->shmem = vspace_new_pages(client_vspace,
67 if (conn->shmem == NULL) {
68 ZF_LOGE(SERSERVC"connect: Failed to alloc shmem.");
71 assert(IS_ALIGNED((uintptr_t)conn->shmem, seL4_PageBits));
73 /* Look up the Frame cap behind each page in the shmem range, and marshal
75 * Frames into its VSpace and establish a shmem link.
77 shmem_tmp_vaddr = (uintptr_t)conn->shmem;
88 /* Call the server asking it to establish the shmem mapping with us, and
94 /* extraCaps doubles up as the number of shmem page
[all...]
H A Dserver.c180 static void serial_server_registry_insert(seL4_Word badge_value, void *shmem, argument
195 tmp->shmem = shmem;
253 /* Make sure that the client didn't request a shmem mapping larger than the
257 /* If the client asks for a shmem mapping too large, we refuse, and
262 "shmem mapping of %dB, but server max accepted shmem size is "
271 "badge %x.\n\tbut client requested shmem mapping of %d "
278 /* Prepare an array of the client's shmem Frame caps to be mapped into our
284 "shmem
[all...]
H A Dserial_server.h113 volatile char *shmem; member in struct:_serial_server_registry_entry
/seL4-test-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dclient.h66 volatile char *shmem; member in struct:_serial_client_context

Completed in 81 milliseconds