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

/barrelfish-master/usr/arrakismon/
H A Dguest.h488 guest_get_rsp (struct guest *g) function
H A Dguest.c1815 return guest_get_rsp(g);
3159 printf("Guest RSP: 0x%lx\n", guest_get_rsp(g));
/barrelfish-master/usr/vmkitmon/
H A Dguest.h475 guest_get_rsp (struct guest *g) function
H A Dguest.c1345 return guest_get_rsp(g);
2738 printf("Guest RSP: 0x%lx\n", guest_get_rsp(g));

Completed in 114 milliseconds