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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c827 sel4utils_alloc_data_t *from_data = get_alloc_data(from); local
846 seL4_CPtr cap = get_cap(from_data->top_level, from_vaddr);
854 vka_cspace_make_path(from_data->vka, cap, &from_path);
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c827 sel4utils_alloc_data_t *from_data = get_alloc_data(from); local
846 seL4_CPtr cap = get_cap(from_data->top_level, from_vaddr);
854 vka_cspace_make_path(from_data->vka, cap, &from_path);

Completed in 28 milliseconds