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

/barrelfish-master/usr/arrakismon/
H A Dguest.h64 lpaddr_t msr_area_pa; member in struct:guest
H A Dguest.c115 errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXIT_MSR_STORE_F, g->msr_area_pa);
117 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_MSR_LOAD_F, g->msr_area_pa);
1251 g->msr_area_pa = fi.base;
/barrelfish-master/usr/vmkitmon/
H A Dguest.h56 lpaddr_t msr_area_pa; member in struct:guest
H A Dguest.c87 errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXIT_MSR_STORE_F, g->msr_area_pa);
89 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_MSR_LOAD_F, g->msr_area_pa);
776 g->msr_area_pa = fi.base;

Completed in 95 milliseconds