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

/barrelfish-master/usr/arrakismon/
H A Dguest.h40 struct capref vmcb_cap; member in struct:guest
H A Dguest.c901 g->vmcb_cap, g->ctrl_cap);
1179 err = guest_slot_alloc(g, &g->vmcb_cap);
1181 err = frame_create(g->vmcb_cap, VMCB_SIZE, NULL);
1183 err = frame_identify(g->vmcb_cap, &fi);
1186 err = vspace_map_one_frame_attr((void**)&g->vmcb_va, VMCB_SIZE, g->vmcb_cap,
/barrelfish-master/usr/vmkitmon/
H A Dguest.h32 struct capref vmcb_cap; member in struct:guest
H A Dguest.c532 self->vmcb_cap, self->ctrl_cap);
705 err = guest_slot_alloc(g, &g->vmcb_cap);
707 err = frame_create(g->vmcb_cap, VMCB_SIZE, NULL);
709 err = frame_identify(g->vmcb_cap, &fi);
712 err = vspace_map_one_frame_attr((void**)&g->vmcb_va, VMCB_SIZE, g->vmcb_cap,

Completed in 105 milliseconds