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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h43 struct capref iobmp_a_cap; member in struct:guest
H A Dguest.c760 err = frame_alloc(&g->iobmp_a_cap, IOBMP_A_SIZE, NULL);
762 err = invoke_frame_identify(g->iobmp_a_cap, &fi);
765 err = vspace_map_one_frame_attr((void**)&g->iobmp_a_va, IOBMP_A_SIZE, g->iobmp_a_cap,
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h45 struct capref iobmp_a_cap; member in struct:guest
H A Dguest.c727 err = frame_alloc(&g->iobmp_a_cap, IOBMP_A_SIZE, NULL);
729 err = invoke_frame_identify(g->iobmp_a_cap, &fi);
732 err = vspace_map_one_frame_attr((void**)&g->iobmp_a_va, IOBMP_A_SIZE, g->iobmp_a_cap,

Completed in 52 milliseconds