add_preferred_console 1090 arch/x86/lguest/boot.c add_preferred_console("hvc", 0, NULL); add_preferred_console 1699 arch/x86/xen/enlighten.c add_preferred_console("xenboot", 0, NULL); add_preferred_console 1700 arch/x86/xen/enlighten.c add_preferred_console("tty", 0, NULL); add_preferred_console 1701 arch/x86/xen/enlighten.c add_preferred_console("hvc", 0, NULL); add_preferred_console 113 include/linux/console.h extern int add_preferred_console(char *name, int idx, char *options);