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

/barrelfish-master/lib/mdb/
H A Dmdb.c234 void set_init_mapping(struct cte *dest_start, size_t num) function

Completed in 29 milliseconds