Searched defs:rumprun_memory_size (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/ | ||
H A D | init_data.h | 89 size_t rumprun_memory_size; member in struct:__anon902 |
H A D | custom_simple.h | 74 size_t rumprun_memory_size; member in struct:custom_simple |
Completed in 42 milliseconds