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

/barrelfish-master/usr/arrakismon/
H A Dguest.h58 struct capref iobmp_b_cap; member in struct:guest
H A Dguest.c1234 err = frame_alloc(&g->iobmp_b_cap, IOBMP_B_SIZE, NULL);
1236 err = frame_identify(g->iobmp_b_cap, &fi);
1239 err = vspace_map_one_frame_attr((void**)&g->iobmp_b_va, IOBMP_B_SIZE, g->iobmp_b_cap,
/barrelfish-master/usr/vmkitmon/
H A Dguest.h50 struct capref iobmp_b_cap; member in struct:guest
H A Dguest.c759 err = frame_alloc(&g->iobmp_b_cap, IOBMP_B_SIZE, NULL);
761 err = frame_identify(g->iobmp_b_cap, &fi);
764 err = vspace_map_one_frame_attr((void**)&g->iobmp_b_va, IOBMP_B_SIZE, g->iobmp_b_cap,

Completed in 54 milliseconds