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

/barrelfish-master/usr/arrakismon/
H A Dconsole.c48 if (guest_get_bl(g) != 7) {
204 else if (guest_get_ah(g) == 0x12 && guest_get_bl(g) == 0x10) {
H A Dguest.h285 guest_get_bl (struct guest *g) function
/barrelfish-master/usr/vmkitmon/
H A Dconsole.c49 if (guest_get_bl(g) != 7) {
205 else if (guest_get_ah(g) == 0x12 && guest_get_bl(g) == 0x10) {
H A Dguest.h272 guest_get_bl (struct guest *g) function

Completed in 95 milliseconds