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

/barrelfish-master/usr/arrakismon/
H A Dguest.h59 lpaddr_t iobmp_b_pa; member in struct:guest
H A Dguest.c962 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_IOBMP_B_F, g->iobmp_b_pa);
1238 g->iobmp_b_pa = fi.base;
/barrelfish-master/usr/vmkitmon/
H A Dguest.h51 lpaddr_t iobmp_b_pa; member in struct:guest
H A Dguest.c540 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_IOBMP_B_F, self->iobmp_b_pa);
763 g->iobmp_b_pa = fi.base;

Completed in 93 milliseconds