Searched refs:vmcb_cap (Results 1 - 4 of 4) sorted by relevance
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.h | 31 struct capref vmcb_cap; member in struct:guest
|
H A D | guest.c | 473 g->vmcb_cap, g->ctrl_cap); 718 err = guest_slot_alloc(g, &g->vmcb_cap); 720 err = frame_create(g->vmcb_cap, VMCB_SIZE, NULL); 722 err = invoke_frame_identify(g->vmcb_cap, &fi); 725 err = vspace_map_one_frame_attr((void**)&g->vmcb_va, VMCB_SIZE, g->vmcb_cap,
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.h | 32 struct capref vmcb_cap; member in struct:guest
|
H A D | guest.c | 518 self->vmcb_cap, self->ctrl_cap); 686 err = guest_slot_alloc(g, &g->vmcb_cap); 688 err = frame_create(g->vmcb_cap, VMCB_SIZE, NULL); 690 err = invoke_frame_identify(g->vmcb_cap, &fi); 693 err = vspace_map_one_frame_attr((void**)&g->vmcb_va, VMCB_SIZE, g->vmcb_cap,
|
Completed in 51 milliseconds