Searched defs:vspace_buf_len (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish_kpi/ | ||
| H A D | domain_params.h | 23 size_t vspace_buf_len; ///< Length of serialised vspace data member in struct:spawn_domain_params |
Completed in 29 milliseconds