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

/barrelfish-master/usr/arrakismon/
H A Dguest.h150 guest_get_eax (struct guest *g) function
H A Dguest.c2627 val = guest_get_eax(g);
2808 val = ((uint64_t)guest_get_edx(g) << 32) | guest_get_eax(g);
2980 uint32_t func = guest_get_eax(g);
3152 printf("Guest EAX: 0x%x\n", guest_get_eax(g));
/barrelfish-master/usr/vmkitmon/
H A Dguest.h137 guest_get_eax (struct guest *g) function
H A Dguest.c2165 val = guest_get_eax(g);
2346 val = ((uint64_t)guest_get_edx(g) << 32) | guest_get_eax(g);
2532 uint32_t func = guest_get_eax(g);
2731 printf("Guest EAX: 0x%x\n", guest_get_eax(g));

Completed in 43 milliseconds