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

/barrelfish-2018-10-04/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.h215 guest_get_bl (struct guest *g) function
/barrelfish-2018-10-04/usr/vmkitmon/
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.h272 guest_get_bl (struct guest *g) function

Completed in 88 milliseconds