Searched refs:kas (Results 1 – 1 of 1) sorted by relevance
| /trusty/kernel/lib/dtb_service/ |
| D | dtb_service.cpp | 62 vmm_aspace_t* kas = vmm_get_kernel_aspace(); 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()
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()
|