Searched refs:dest_addr (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 454 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 D | bootstrap.c | 454 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