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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c136 guest_set_bh(g, 0);
H A Dguest.h234 guest_set_bh (struct guest *g, uint8_t val) function
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c136 guest_set_bh(g, 0);
H A Dguest.h291 guest_set_bh (struct guest *g, uint8_t val) function

Completed in 51 milliseconds