xen_hvm_console_init  535 drivers/tty/hvc/hvc_xen.c 			r = xen_hvm_console_init();
xen_hvm_console_init  583 drivers/tty/hvc/hvc_xen.c 			r = xen_hvm_console_init();