efi_setup_pcdp_console  468 arch/ia64/kernel/setup.c 	if (!efi_setup_pcdp_console(cmdline))
efi_setup_pcdp_console 1188 include/linux/efi.h extern int __init efi_setup_pcdp_console(char *);