Symbol: xencons_rx
sys/dev/xen/console/xen_console.c
557
xencons_rx(cons);
sys/dev/xen/console/xen_console.c
625
xencons_rx(&main_cons);