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

/barrelfish-master/usr/arrakismon/
H A Dguest.h44 struct capref ctrl_cap; member in struct:guest
H A Dguest.c901 g->vmcb_cap, g->ctrl_cap);
1194 err = frame_alloc(&g->ctrl_cap, sizeof(struct guest_control), NULL);
1197 err = vspace_map_one_frame_attr((void**)&g->ctrl, size, g->ctrl_cap,
/barrelfish-master/usr/vmkitmon/
H A Dguest.h36 struct capref ctrl_cap; member in struct:guest
H A Dguest.c532 self->vmcb_cap, self->ctrl_cap);
720 err = frame_alloc(&g->ctrl_cap, sizeof(struct guest_control), NULL);
723 err = vspace_map_one_frame_attr((void**)&g->ctrl, size, g->ctrl_cap,

Completed in 39 milliseconds