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

/barrelfish-master/kernel/
H A Dpaging_generic.c100 void create_mapping_cap(struct cte *mapping_cte, struct capability *cap, function

Completed in 31 milliseconds