Searched defs:muslc_brk_reservation_start (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ | ||
| H A D | sys_morecore.c | 107 void *muslc_brk_reservation_start = NULL; variable |
Completed in 100 milliseconds