Searched defs:vspace_share_mem_at_vaddr (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/ | ||
| H A D | vspace.h | 879 static inline int vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, function |
Completed in 23 milliseconds