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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c181 seL4_CPtr *shmem_frame_caps,
197 tmp->shmem_frame_caps = shmem_frame_caps;
394 free(client_data->shmem_frame_caps);
431 tmp->shmem_frame_caps);
439 tmp->badge_value, j + 1, tmp->shmem_frame_caps[j]);
180 serial_server_registry_insert(seL4_Word badge_value, void *shmem, seL4_CPtr *shmem_frame_caps, size_t shmem_size) argument
H A Dserial_server.h114 seL4_CPtr *shmem_frame_caps; member in struct:_serial_server_registry_entry

Completed in 26 milliseconds