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

/barrelfish-master/usr/arrakismon/
H A Dguest.c599 struct capref ept_copy; local
600 err = guest_slot_alloc(g, &ept_copy);
602 err = cap_copy(ept_copy, cap);
606 err = frame_identify(ept_copy, &fi);
612 ept_copy, VREGION_FLAGS_READ_WRITE | VREGION_FLAGS_EXECUTE,
758 struct capref ept_copy; local
759 err = slot_alloc(&ept_copy);
760 err+= cap_copy(ept_copy, vn->v.cap);
761 err+= vspace_map_one_frame_attr((void**)&pt, BASE_PAGE_SIZE, ept_copy,

Completed in 83 milliseconds