default_banner    795 arch/x86/include/asm/paravirt.h extern void default_banner(void);
default_banner     67 arch/x86/kernel/x86_init.c 		.banner			= default_banner,