xencons_info_pv_init  268 drivers/tty/hvc/hvc_xen.c 	xencons_info_pv_init(info, HVC_COOKIE);
xencons_info_pv_init  615 drivers/tty/hvc/hvc_xen.c 	return xencons_info_pv_init(&xenboot, 0);