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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c122 if (guest_get_cx(g) != 0) {
H A Dguest.h267 guest_get_cx (struct guest *g) function
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c122 if (guest_get_cx(g) != 0) {
H A Dguest.h324 guest_get_cx (struct guest *g) function

Completed in 195 milliseconds