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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h44 lpaddr_t iobmp_a_pa; member in struct:guest
H A Dguest.c530 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_IOBMP_A_F, g->iobmp_a_pa);
764 g->iobmp_a_pa = fi.base;
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h46 lpaddr_t iobmp_a_pa; member in struct:guest
H A Dguest.c525 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_IOBMP_A_F, self->iobmp_a_pa);
731 g->iobmp_a_pa = fi.base;

Completed in 119 milliseconds