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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c146 guest_set_bx(g, 0x10);
H A Dguest.h208 guest_set_bx (struct guest *g, uint16_t val) function
H A Dguest.c1405 guest_set_bx(g, 0xaa55);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c146 guest_set_bx(g, 0x10);
H A Dguest.h265 guest_set_bx (struct guest *g, uint16_t val) function
H A Dguest.c1704 guest_set_bx(g, 0xaa55);

Completed in 51 milliseconds