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

/barrelfish-master/usr/arrakismon/
H A Dconsole.c146 guest_set_bx(g, 0x10);
H A Dguest.h278 guest_set_bx (struct guest *g, uint16_t val) function
H A Dguest.c2189 guest_set_bx(g, 0xaa55);
/barrelfish-master/usr/vmkitmon/
H A Dconsole.c147 guest_set_bx(g, 0x10);
H A Dguest.h265 guest_set_bx (struct guest *g, uint16_t val) function
H A Dguest.c1724 guest_set_bx(g, 0xaa55);

Completed in 103 milliseconds