usr/arrakismon/guest.c

24 #include <barrelfish/vspace.h>
139 errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr,
175     debug_printf("mapping guest vregion (%p) in guest vspace (%p) at 0x%lx, size 0x%lx\n",
176             vregion, vspace, vaddr, size);
177     debug_printf("current regions in guest vspace:\n");
178     for (struct vregion *v = vspace->head; v; v = v->next) {
181     err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr,
266 // also performs the mapping into the vspace of the monitor
291     // Map into the guest vspace
292     err = guest_vspace_map_wrapper(g->vspace, guest_paddr, cap, bytes);
298     // Create a copy of the capability to map in our vspace
310     // Map into my vspace
311     debug_printf("mapping into our vspace at 0x%lx\n", guest_to_host(guest_paddr));
559     err1 = vregion_map_fixed(vregion, g->vspace, memobj, 0, size, addr, flags);
656 extern errval_t vspace_add_vregion(struct vspace *vspace, struct vregion *region);
678     // mark off region in vspace
682     err = vspace_add_vregion(g->vspace, v);
685     struct pmap_x86 *pmap = (struct pmap_x86 *)vspace_get_pmap(g->vspace);
752     struct pmap_x86 *pmap = (struct pmap_x86 *)vspace_get_pmap(g->vspace);
797     g->vspace = malloc(sizeof(*(g->vspace)));
798     assert(g->vspace);
806     err = pmap_x86_64_init(pmap, g->vspace, ept_pml4_cap, NULL);
808     err = vspace_init(g->vspace, pmap);
814     for (struct vregion *v = si->vspace->head; v; v = v->next) {
839     struct pmap_x86 *si_pmap = (struct pmap_x86 *)vspace_get_pmap(si->vspace);
865     // set guest's vspace to vspace we created when loading binary
866     g->vspace = si->vspace;
3227     if (vspace_get_region(g->vspace, (void*)fault_addr) != NULL) {