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

/barrelfish-master/usr/arrakismon/
H A Dguest.h460 guest_get_rsi (struct guest *g) function
H A Dguest.c1819 return guest_get_rsi(g);
3158 printf("Guest RSI: 0x%lx\n", guest_get_rsi(g));
/barrelfish-master/usr/vmkitmon/
H A Dguest.h447 guest_get_rsi (struct guest *g) function
H A Dguest.c1349 return guest_get_rsi(g);
2737 printf("Guest RSI: 0x%lx\n", guest_get_rsi(g));

Completed in 88 milliseconds