Searched refs:guest_set_cx (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c109 guest_set_cx(g, 0);
H A Dguest.h273 guest_set_cx (struct guest *g, uint16_t val) function
H A Dguest.c1392 guest_set_cx(g, c << 6 | (s & 0x3f));
1408 guest_set_cx(g, 0x5);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c109 guest_set_cx(g, 0);
H A Dguest.h330 guest_set_cx (struct guest *g, uint16_t val) function
H A Dguest.c1683 guest_set_cx(g, c << 6 | (s & 0x3f));
1707 guest_set_cx(g, 0x5);

Completed in 54 milliseconds