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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h47 struct capref iobmp_b_cap; member in struct:guest
H A Dguest.c773 err = frame_alloc(&g->iobmp_b_cap, IOBMP_B_SIZE, NULL);
775 err = invoke_frame_identify(g->iobmp_b_cap, &fi);
778 err = vspace_map_one_frame_attr((void**)&g->iobmp_b_va, IOBMP_B_SIZE, g->iobmp_b_cap,
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h50 struct capref iobmp_b_cap; member in struct:guest
H A Dguest.c740 err = frame_alloc(&g->iobmp_b_cap, IOBMP_B_SIZE, NULL);
742 err = invoke_frame_identify(g->iobmp_b_cap, &fi);
745 err = vspace_map_one_frame_attr((void**)&g->iobmp_b_va, IOBMP_B_SIZE, g->iobmp_b_cap,

Completed in 65 milliseconds