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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h53 lpaddr_t msrpm_pa; member in struct:guest
H A Dguest.c362 amd_vmcb_msrpm_base_pa_wr(&self->vmcb, self->msrpm_pa);
532 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_MSRBMP_F, g->msrpm_pa);
790 g->msrpm_pa = fi.base;
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h61 lpaddr_t msrpm_pa; member in struct:guest
H A Dguest.c411 amd_vmcb_msrpm_base_pa_wr(&self->vmcb, self->msrpm_pa);
527 err += invoke_dispatcher_vmwrite(self->dcb_cap, VMX_MSRBMP_F, self->msrpm_pa);
771 g->msrpm_pa = fi.base;

Completed in 45 milliseconds