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

/barrelfish-master/usr/arrakismon/
H A Dguest.h326 guest_get_ecx (struct guest *g) { function
H A Dguest.c2384 if (guest_get_ebx(g) > 1 || guest_get_ecx(g) < 20) {
2802 uint32_t msr = guest_get_ecx(g);
3154 printf("Guest ECX: 0x%x\n", guest_get_ecx(g));
/barrelfish-master/usr/vmkitmon/
H A Dguest.h313 guest_get_ecx (struct guest *g) { function
H A Dguest.c1919 if (guest_get_ebx(g) > 1 || guest_get_ecx(g) < 20) {
2340 uint32_t msr = guest_get_ecx(g);
2733 printf("Guest ECX: 0x%x\n", guest_get_ecx(g));

Completed in 94 milliseconds