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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c35 c->cursor_pos_y = guest_get_dh(g);
H A Dguest.h333 guest_get_dh (struct guest *g) function
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c35 c->cursor_pos_y = guest_get_dh(g);
H A Dguest.h390 guest_get_dh (struct guest *g) function

Completed in 38 milliseconds