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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c234 static int reserve_initial_task_regions(vspace_t *vspace, void *existing_frames[]) function
389 if (reserve_initial_task_regions(vspace, existing_frames)) {
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c234 static int reserve_initial_task_regions(vspace_t *vspace, void *existing_frames[]) function
389 if (reserve_initial_task_regions(vspace, existing_frames)) {

Completed in 28 milliseconds