Searched refs:console_handle_int10 (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dconsole.h25 int console_handle_int10 (struct console *c, struct guest *g);
H A Dconsole.c169 console_handle_int10 (struct console *c, struct guest *g) function
H A Dguest.c2112 r = console_handle_int10(g->console, g);
/barrelfish-master/usr/vmkitmon/
H A Dconsole.h25 int console_handle_int10 (struct console *c, struct guest *g);
H A Dconsole.c170 console_handle_int10 (struct console *c, struct guest *g) function
H A Dguest.c1647 r = console_handle_int10(g->console, g);

Completed in 95 milliseconds