Searched refs:vspace_layout_genvaddr_to_lvaddr (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dvspace_layout.h64 static inline lvaddr_t vspace_layout_genvaddr_to_lvaddr(struct vspace_layout *l, function
/barrelfish-master/lib/barrelfish/vspace/
H A Dutils.c33 return vspace_layout_genvaddr_to_lvaddr(&vspace->layout, genvaddr);

Completed in 39 milliseconds