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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h286 guest_set_ch (struct guest *g, uint8_t val) function
H A Dguest.c1642 guest_set_ch(g, h);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h343 guest_set_ch (struct guest *g, uint8_t val) function
H A Dguest.c2031 guest_set_ch(g, h);

Completed in 78 milliseconds