Searched refs:shmem (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | clientapi.c | 31 * 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 D | server.c | 180 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 D | serial_server.h | 113 volatile char *shmem; member in struct:_serial_server_registry_entry
|
/seL4-test-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
H A D | client.h | 66 volatile char *shmem; member in struct:_serial_client_context
|
Completed in 81 milliseconds