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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h261 guest_set_ecx (struct guest *g, uint32_t val) { function
H A Dguest.c1554 guest_set_ecx(g, 20);
2026 guest_set_ecx(g, ecx);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h318 guest_set_ecx (struct guest *g, uint32_t val) { function
H A Dguest.c1920 guest_set_ecx(g, 20);
2576 guest_set_ecx(g, ecx);

Completed in 63 milliseconds