Searched refs:to_path (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 829 cspacepath_t from_path, to_path; local
857 error = vka_cspace_alloc_path(to_data->vka, &to_path);
864 error = vka_cnode_copy(&to_path, &from_path, res->rights);
871 error = map_page(to, to_path.capPtr, (void *) to_vaddr, res->rights, res->cacheable, size_bits);
877 update_entries(to, to_vaddr, to_path.capPtr, size_bits, 0);
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 829 cspacepath_t from_path, to_path; local
857 error = vka_cspace_alloc_path(to_data->vka, &to_path);
864 error = vka_cnode_copy(&to_path, &from_path, res->rights);
871 error = map_page(to, to_path.capPtr, (void *) to_vaddr, res->rights, res->cacheable, size_bits);
877 update_entries(to, to_vaddr, to_path.capPtr, size_bits, 0);
|
Completed in 26 milliseconds