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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c30 if (guest_get_bh(g) != 0) {
44 if (guest_get_bh(g) != 0) {
68 if (guest_get_bh(g) != 0) {
102 if (guest_get_bh(g) != 0) {
H A Dguest.h228 guest_get_bh (struct guest *g) function
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c30 if (guest_get_bh(g) != 0) {
44 if (guest_get_bh(g) != 0) {
68 if (guest_get_bh(g) != 0) {
102 if (guest_get_bh(g) != 0) {
H A Dguest.h285 guest_get_bh (struct guest *g) function

Completed in 44 milliseconds