Searched refs:ctrl_cap (Results 1 - 4 of 4) sorted by relevance
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.h | 35 struct capref ctrl_cap; member in struct:guest
|
H A D | guest.c | 473 g->vmcb_cap, g->ctrl_cap); 733 err = frame_alloc(&g->ctrl_cap, sizeof(struct guest_control), NULL); 736 err = vspace_map_one_frame_attr((void**)&g->ctrl, size, g->ctrl_cap,
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.h | 36 struct capref ctrl_cap; member in struct:guest
|
H A D | guest.c | 518 self->vmcb_cap, self->ctrl_cap); 701 err = frame_alloc(&g->ctrl_cap, sizeof(struct guest_control), NULL); 704 err = vspace_map_one_frame_attr((void**)&g->ctrl, size, g->ctrl_cap,
|
Completed in 149 milliseconds