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

/barrelfish-master/usr/arrakismon/
H A Dguest.h320 guest_set_rcx (struct guest *g, uint64_t val) function
H A Dguest.c1835 guest_set_rcx(g, val);
1918 guest_set_rcx(g, val);
/barrelfish-master/usr/vmkitmon/
H A Dguest.h307 guest_set_rcx (struct guest *g, uint64_t val) function
H A Dguest.c1365 guest_set_rcx(g, val);
1448 guest_set_rcx(g, val);

Completed in 122 milliseconds