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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h202 guest_get_bx (struct guest *g) function
H A Dguest.c1403 else if (guest_get_ah(g) == 0x41 && guest_get_bx(g) == 0x55aa) {
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h259 guest_get_bx (struct guest *g) function
H A Dguest.c1698 else if (guest_get_ah(g) == 0x41 && guest_get_bx(g) == 0x55aa) {

Completed in 62 milliseconds