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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c230 size_t client_shmem_n_pages; local
240 client_shmem_n_pages = BYTES_TO_4K_PAGES(client_shmem_size);
256 if (client_shmem_n_pages > BYTES_TO_4K_PAGES(get_serial_server()->shmem_max_size)) {
269 if (seL4_MessageInfo_get_extraCaps(tag) != client_shmem_n_pages) {
274 client_shmem_n_pages);
281 client_frame_caps = calloc((client_shmem_n_pages + 1), sizeof(seL4_CPtr));
287 for (size_t i = 0; i < client_shmem_n_pages; i++) {
297 i + 1, client_shmem_n_pages, (long)client_badge_value);
319 seL4_AllRights, client_shmem_n_pages,
332 client_badge_value, shmem_tmp, client_shmem_n_pages);
[all...]

Completed in 23 milliseconds