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

/barrelfish-master/usr/arrakismon/
H A Dguest.h249 guest_get_rbx (struct guest *g) function
H A Dguest.c1813 return guest_get_rbx(g);
/barrelfish-master/usr/vmkitmon/
H A Dguest.h236 guest_get_rbx (struct guest *g) function
H A Dguest.c1343 return guest_get_rbx(g);

Completed in 112 milliseconds