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

/barrelfish-master/usr/arrakismon/
H A Dguest.h54 lpaddr_t iobmp_a_pa; member in struct:guest
H A Dguest.c961 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_IOBMP_A_F, g->iobmp_a_pa);
1225 g->iobmp_a_pa = fi.base;
/barrelfish-master/usr/vmkitmon/
H A Dguest.h46 lpaddr_t iobmp_a_pa; member in struct:guest
H A Dguest.c539 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_IOBMP_A_F, self->iobmp_a_pa);
750 g->iobmp_a_pa = fi.base;

Completed in 50 milliseconds