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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h52 struct capref msrpm_cap; member in struct:guest
H A Dguest.c786 err = frame_alloc(&g->msrpm_cap, MSRPM_SIZE, NULL);
788 err = invoke_frame_identify(g->msrpm_cap, &fi);
792 g->msrpm_cap,
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h60 struct capref msrpm_cap; member in struct:guest
H A Dguest.c767 err = frame_alloc(&g->msrpm_cap, MSRPM_SIZE, NULL);
769 err = invoke_frame_identify(g->msrpm_cap, &fi);
773 g->msrpm_cap,

Completed in 107 milliseconds