xencons_free 353 drivers/tty/hvc/hvc_xen.c xencons_free(info); xencons_free 461 drivers/tty/hvc/hvc_xen.c xencons_free(info);