Searched refs:efi_info (Results 1 – 9 of 9) sorted by relevance
148 efi_info("KASLR disabled on kernel command line\n"); in handle_kernel_image()151 efi_info("Image placement fixed by loader\n"); in handle_kernel_image()156 efi_info("EFI_RNG_PROTOCOL unavailable\n"); in handle_kernel_image()
263 efi_info("Using DTB from command line\n"); in allocate_new_fdt_and_exit_boot()268 efi_info("Using DTB from configuration table\n"); in allocate_new_fdt_and_exit_boot()272 efi_info("Generating empty DTB\n"); in allocate_new_fdt_and_exit_boot()274 efi_info("Exiting boot services...\n"); in allocate_new_fdt_and_exit_boot()
31 efi_info("Entering in %s mode with MMU %sabled\n", in check_platform_features()146 efi_info("Free memory starts at 0x%lx, setting kernel_base to 0x%lx\n", in handle_kernel_image()
60 efi_info("UEFI Secure Boot is enabled.\n"); in efi_get_secureboot()
559 struct efi_info *efi = ¶ms->efi_info; in setup_e820()710 struct efi_info *efi;742 priv.efi = &boot_params->efi_info; in exit_boot()
715 efi_info("Loaded initrd from LINUX_EFI_INITRD_MEDIA_GUID device path\n"); in efi_load_initrd()719 efi_info("Measured initrd data into PCR 9\n"); in efi_load_initrd()727 efi_info("Loaded initrd from command line option\n"); in efi_load_initrd()
81 efi_info("Exiting boot services\n"); in efi_boot_kernel()
194 efi_info("Booting Linux Kernel...\n"); in efi_pe_entry()
56 #define efi_info(fmt, ...) \ macro