Searched refs:dtb_copy (Results 1 – 1 of 1) sorted by relevance
| /trusty/kernel/lib/dtb_service/ |
| D | dtb_service.cpp | 66 void* dtb_copy; in dtb_service_add_user() local
67 rc = vmm_alloc(kas, "dtb copy", aligned_size, &dtb_copy, PAGE_SIZE_SHIFT, 0, in dtb_service_add_user()
79 rc = fdt_move(dtb, dtb_copy, aligned_size); in dtb_service_add_user()
85 rc = vmm_get_obj(kas, (vaddr_t)dtb_copy, aligned_size, &slice); in dtb_service_add_user()
108 vmm_free_region(kas, (vaddr_t)dtb_copy); in dtb_service_add_user()
117 vmm_free_region(kas, (vaddr_t)dtb_copy); in dtb_service_add_user()
|