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

/seL4-refos-master/libs/libsel4vspace/src/
H A Dvspace.c104 void *to_vaddr; local
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
106 if (to_vaddr == NULL) {
112 int res = callback(access_addr, to_vaddr, cookie);
115 vspace_unmap_pages(to, to_vaddr, 1, size_bits, (vka_t *) VSPACE_FREE);
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c104 void *to_vaddr; local
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
106 if (to_vaddr == NULL) {
112 int res = callback(access_addr, to_vaddr, cookie);
115 vspace_unmap_pages(to, to_vaddr, 1, size_bits, (vka_t *) VSPACE_FREE);
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c843 uintptr_t to_vaddr = (uintptr_t) vaddr + (uintptr_t) page * size_bytes; local
871 error = map_page(to, to_path.capPtr, (void *) to_vaddr, res->rights, res->cacheable, size_bits);
873 ZF_LOGE("Failed to map page into target vspace at vaddr %"PRIuPTR, to_vaddr);
877 update_entries(to, to_vaddr, to_path.capPtr, size_bits, 0);
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c843 uintptr_t to_vaddr = (uintptr_t) vaddr + (uintptr_t) page * size_bytes; local
871 error = map_page(to, to_path.capPtr, (void *) to_vaddr, res->rights, res->cacheable, size_bits);
873 ZF_LOGE("Failed to map page into target vspace at vaddr %"PRIuPTR, to_vaddr);
877 update_entries(to, to_vaddr, to_path.capPtr, size_bits, 0);

Completed in 31 milliseconds