Searched defs:heapRegion (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/librefos/include/refos-util/ | ||
H A D | init.h | 54 sl_dataspace_t heapRegion; member in struct:sl_procinfo_s |
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ | ||
H A D | init.h | 54 sl_dataspace_t heapRegion; member in struct:sl_procinfo_s |
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/ | ||
H A D | selfloader.h | 91 sl_dataspace_t heapRegion; member in struct:sl_state |
/seL4-refos-master/apps/selfloader/src/ | ||
H A D | selfloader.h | 91 sl_dataspace_t heapRegion; member in struct:sl_state |
Completed in 73 milliseconds