Symbol: xen_get_console_evtchn
sys/dev/xen/console/xen_console.c
278
cons->evtchn = xen_get_console_evtchn();
sys/dev/xen/console/xen_console.c
403
if (xen_get_console_evtchn() == 0)