default_banner    931 arch/x86/include/asm/paravirt.h # define default_banner x86_init_noop
default_banner     47 arch/x86/kernel/paravirt.c void __init default_banner(void)