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

/barrelfish-master/usr/arrakismon/
H A Dguest.h160 guest_set_eax (struct guest *g, uint32_t val) function
H A Dguest.c2403 guest_set_eax(g, 0x534D4150);
2774 guest_set_eax(g, val);
2961 guest_set_eax(g, val);
3016 guest_set_eax(g, eax);
/barrelfish-master/usr/vmkitmon/
H A Dguest.h147 guest_set_eax (struct guest *g, uint32_t val) function
H A Dguest.c1938 guest_set_eax(g, 0x534D4150);
2312 guest_set_eax(g, val);
2513 guest_set_eax(g, val);
2595 guest_set_eax(g, eax);

Completed in 95 milliseconds