Symbol: console_evtchn
sys/arch/xen/xen/xencons.c
217
evtch = xen_start_info.console_evtchn;
sys/arch/xen/xen/xencons.c
242
evtch = xen_start_info.console_evtchn;