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

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c69 sel4utils_res_t muslc_brk_reservation_memory; variable
179 error = sel4utils_reserve_range_no_alloc(&env->vspace, &muslc_brk_reservation_memory, 1048576, seL4_AllRights, 1,
183 muslc_brk_reservation.res = &muslc_brk_reservation_memory;

Completed in 38 milliseconds