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

/barrelfish-master/usr/arrakismon/
H A Dconsole.c122 if (guest_get_cx(g) != 0) {
H A Dguest.h337 guest_get_cx (struct guest *g) function
/barrelfish-master/usr/vmkitmon/
H A Dconsole.c123 if (guest_get_cx(g) != 0) {
H A Dguest.h324 guest_get_cx (struct guest *g) function

Completed in 87 milliseconds