Searched refs:handle_get_current_video_mode (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dconsole.c131 handle_get_current_video_mode (struct console *c, struct guest *g) function
201 return handle_get_current_video_mode(c, g);
/barrelfish-master/usr/vmkitmon/
H A Dconsole.c132 handle_get_current_video_mode (struct console *c, struct guest *g) function
202 return handle_get_current_video_mode(c, g);

Completed in 107 milliseconds