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

/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/
H A Dboot_arch.c157 spawn_memory_prepare(size_t size, struct capref *cap_ret, argument
92 cpu_memory_prepare(size_t *size, struct capref *cap_ret, void **buf_ret, struct frame_identity *frameid) argument

Completed in 27 milliseconds