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

/barrelfish-master/usr/arrakismon/
H A Dguest.h432 guest_get_rdi (struct guest *g) function
H A Dguest.c1821 return guest_get_rdi(g);
3157 printf("Guest RDI: 0x%lx\n", guest_get_rdi(g));
/barrelfish-master/usr/vmkitmon/
H A Dguest.h419 guest_get_rdi (struct guest *g) function
H A Dguest.c1351 return guest_get_rdi(g);
2736 printf("Guest RDI: 0x%lx\n", guest_get_rdi(g));

Completed in 87 milliseconds