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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h424 guest_set_rsp (struct guest *g, uint64_t val) function
H A Dguest.c1155 guest_set_rsp(g, val);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h488 guest_set_rsp (struct guest *g, uint64_t val) function
H A Dguest.c1355 guest_set_rsp(g, val);

Completed in 73 milliseconds