Searched refs:efi_info (Results 1 – 8 of 8) sorted by relevance
193 efi_info("Booting Linux Kernel...\n"); in efi_pe_entry()232 efi_info("Using DTB from command line\n"); in efi_pe_entry()237 efi_info("Using DTB from configuration table\n"); in efi_pe_entry()241 efi_info("Generating empty DTB\n"); in efi_pe_entry()
107 efi_info("EFI_RNG_PROTOCOL unavailable\n"); in handle_kernel_image()115 efi_info("KASLR disabled on kernel command line\n"); in handle_kernel_image()
31 efi_info("Entering in %s mode with MMU %sabled\n", in check_platform_features()145 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()
457 struct efi_info *efi = ¶ms->efi_info; in setup_e820()608 struct efi_info *efi;650 priv.efi = &boot_params->efi_info; in exit_boot()
650 efi_info("Loaded initrd from LINUX_EFI_INITRD_MEDIA_GUID device path\n"); in efi_load_initrd()655 efi_info("Loaded initrd from command line option\n"); in efi_load_initrd()
274 efi_info("Exiting boot services...\n"); in allocate_new_fdt_and_exit_boot()
53 #define efi_info(fmt, ...) \ macro