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

/barrelfish-master/usr/arrakismon/
H A Dguest.h515 guest_get_rbp (struct guest *g) function
H A Dguest.c1817 return guest_get_rbp(g);
3160 printf("Guest RBP: 0x%lx\n", guest_get_rbp(g));
/barrelfish-master/usr/vmkitmon/
H A Dguest.h502 guest_get_rbp (struct guest *g) function
H A Dguest.c1347 return guest_get_rbp(g);
2739 printf("Guest RBP: 0x%lx\n", guest_get_rbp(g));

Completed in 93 milliseconds