Searched refs:initialize_msrpm (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/vmkitmon/
H A Dguest.c333 initialize_msrpm (struct guest *g) { function
801 initialize_msrpm(g);
/barrelfish-master/usr/arrakismon/
H A Dguest.c373 initialize_msrpm (struct guest *g) { function
1276 initialize_msrpm(g);

Completed in 41 milliseconds