Searched refs:vspace_share_mem (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4vspace/src/ |
| H A D | vspace.c | 75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, function
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | testtypes.c | 248 env->remote_vaddr = vspace_share_mem(&env->vspace, &(env->test_process).vspace, env->init, 1, PAGE_BITS_4K,
|
| /seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 126 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages,
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | serial_server.c | 495 *target_vaddr = vspace_share_mem(from_vspace, to_vspace,
|
Completed in 34 milliseconds