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

/barrelfish-master/usr/arrakismon/
H A Dguest.h63 struct capref msr_area_cap; member in struct:guest
H A Dguest.c1247 err = frame_alloc(&g->msr_area_cap, VMX_MSR_AREA_SIZE, NULL);
1249 err = frame_identify(g->msr_area_cap, &fi);
1253 g->msr_area_cap,
/barrelfish-master/usr/vmkitmon/
H A Dguest.h55 struct capref msr_area_cap; member in struct:guest
H A Dguest.c772 err = frame_alloc(&g->msr_area_cap, VMX_MSR_AREA_SIZE, NULL);
774 err = frame_identify(g->msr_area_cap, &fi);
778 g->msr_area_cap,

Completed in 100 milliseconds