EFI_DEBUG         403 arch/ia64/kernel/efi.c #if EFI_DEBUG
EFI_DEBUG         561 arch/ia64/kernel/efi.c #if EFI_DEBUG