Searched refs:sel4utils_get_vspace (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 246 return sel4utils_get_vspace(loader, new_vspace, data, vka, vspace_root,
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 246 return sel4utils_get_vspace(loader, new_vspace, data, vka, vspace_root,
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 336 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, function
|
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 336 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, function
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 116 error = sel4utils_get_vspace (
|
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 116 error = sel4utils_get_vspace (
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | process.c | 547 sel4utils_get_vspace(spawner_vspace, &process->vspace, &process->data, vka, process->pd.cptr,
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 547 sel4utils_get_vspace(spawner_vspace, &process->vspace, &process->data, vka, process->pd.cptr,
|
Completed in 55 milliseconds