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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c454 void *dest_addr = vspace_map_pages(current, &dest.capPtr, NULL, seL4_AllRights, local
456 if (dest_addr == NULL) {
463 memcpy(dest_addr, (void *) page, PAGE_SIZE_4K);
471 vspace_unmap_pages(current, dest_addr, 1, seL4_PageBits, VSPACE_PRESERVE);
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c454 void *dest_addr = vspace_map_pages(current, &dest.capPtr, NULL, seL4_AllRights, local
456 if (dest_addr == NULL) {
463 memcpy(dest_addr, (void *) page, PAGE_SIZE_4K);
471 vspace_unmap_pages(current, dest_addr, 1, seL4_PageBits, VSPACE_PRESERVE);

Completed in 44 milliseconds