Symbol: xencons_putc
sys/dev/xen/console/xen_console.c
530
cons_full = xencons_putc(cons, c, false);
sys/dev/xen/console/xen_console.c
637
xencons_putc(&main_cons, c, true);