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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h48 lpaddr_t iobmp_b_pa; member in struct:guest
H A Dguest.c531 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_IOBMP_B_F, g->iobmp_b_pa);
777 g->iobmp_b_pa = fi.base;
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h51 lpaddr_t iobmp_b_pa; member in struct:guest
H A Dguest.c526 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_IOBMP_B_F, self->iobmp_b_pa);
744 g->iobmp_b_pa = fi.base;

Completed in 113 milliseconds