Symbol: xencons_info_pv_init
drivers/tty/hvc/hvc_xen.c
339
xencons_info_pv_init(info, HVC_COOKIE);
drivers/tty/hvc/hvc_xen.c
713
return xencons_info_pv_init(&xenboot, 0);