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