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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h327 guest_set_edx (struct guest *g, uint32_t val) { function
H A Dguest.c1976 guest_set_edx(g, val >> 32);
2027 guest_set_edx(g, edx);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h384 guest_set_edx (struct guest *g, uint32_t val) { function
H A Dguest.c2494 guest_set_edx(g, val >> 32);
2577 guest_set_edx(g, edx);

Completed in 48 milliseconds