Searched defs:vspace_buf (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Ddomain_params.h22 void *vspace_buf; ///< Serialised vspace data member in struct:spawn_domain_params
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c532 char *vspace_buf = (char *)ROUND_UP((lvaddr_t)buf, sizeof(uintptr_t)); local

Completed in 78 milliseconds