# HG changeset patch
# User gingold@virtu10
# Node ID 7c27d1c2196f00db3dccbcd620337a45c6565b81
# Parent  000789c36d289225fcce7ecee290ae7b3d808058
'xencons' command line is now an integer, so that it can be disabled.

Signed-off-by: Tristan Gingold <tristan.gingold@xxxxxxxx>

diff -r 000789c36d28 -r 7c27d1c2196f xen/arch/ia64/xen/xensetup.c
--- a/xen/arch/ia64/xen/xensetup.c	Wed Jul 12 13:26:09 2006 -0600
+++ b/xen/arch/ia64/xen/xensetup.c	Thu Jul 13 11:17:12 2006 +0200
@@ -66,7 +66,7 @@ integer_param("maxcpus", max_cpus);
    Note: you have to disable 8250 serials in domains (to avoid use of the
    same resource).  */
 static int opt_xencons = 1;
-boolean_param("xencons", opt_xencons);
+integer_param("xencons", opt_xencons);
 
 /* Toggle to allow non-legacy xencons UARTs to run in polling mode */
 static int opt_xencons_poll = 0;