Lines Matching defs:allocated_object_fn
43 vspace_allocated_object_fn allocated_object_fn, void *cookie)
52 vspace->allocated_object = allocated_object_fn;
310 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page)
314 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
323 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page)
328 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
338 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie)
340 return sel4utils_get_vspace_with_map(loader, new_vspace, data, vka, vspace_root, allocated_object_fn,
346 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie)
350 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
361 seL4_CPtr ept, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie)
368 return sel4utils_get_vspace_with_map(loader, new_vspace, data, vka, ept, allocated_object_fn, allocated_object_cookie,
375 vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[])
379 if (common_init(vspace, vka, vspace_root, allocated_object_fn, cookie)) {
400 vka_t *vka, seL4_BootInfo *info, vspace_allocated_object_fn allocated_object_fn,
415 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, allocated_object_fn,