Searched refs:ept_map (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/arrakismon/ | ||
H A D | guest.c | 596 static void ept_map(struct guest *g, struct capref cap) function 621 ept_map(g, v->v.cap); 821 ept_map(g, f->frame); 828 ept_map(g, m->frame); |
Completed in 80 milliseconds