Searched refs:iobmp_b_cap (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/arrakismon/ |
H A D | guest.h | 58 struct capref iobmp_b_cap; member in struct:guest
|
H A D | guest.c | 1234 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 D | guest.h | 50 struct capref iobmp_b_cap; member in struct:guest
|
H A D | guest.c | 759 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 95 milliseconds