Searched refs:kernel_entry_t (Results 1 – 1 of 1) sorted by relevance
13 typedef void __noreturn (*kernel_entry_t)(bool efi, unsigned long cmdline, typedef50 kernel_entry_t real_kernel_entry; in efi_boot_kernel()