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

/barrelfish-master/usr/arrakismon/
H A Dconsole.c41 handle_write_char_with_attr (struct console *c, struct guest *g) function
193 return handle_write_char_with_attr(c, g);
/barrelfish-master/usr/vmkitmon/
H A Dconsole.c42 handle_write_char_with_attr (struct console *c, struct guest *g) function
194 return handle_write_char_with_attr(c, g);

Completed in 88 milliseconds