Searched refs:iobmp_b_va (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/arrakismon/ |
H A D | guest.h | 60 lvaddr_t iobmp_b_va; member in struct:guest
|
H A D | guest.c | 335 memset((void*)self->iobmp_b_va, 0xFF, IOBMP_B_SIZE); 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 | 52 lvaddr_t iobmp_b_va; member in struct:guest
|
H A D | guest.c | 295 memset((void*)self->iobmp_b_va, 0xFF, IOBMP_B_SIZE); 764 err = vspace_map_one_frame_attr((void**)&g->iobmp_b_va, IOBMP_B_SIZE, g->iobmp_b_cap,
|
Completed in 163 milliseconds