src/boot/efi/linux.h

   1 /* SPDX-License-Identifier: LGPL-2.1-or-later */
   2 #pragma once
   3
   4 #include <efi.h>
   5
   6 EFI_STATUS linux_exec(
   7                 EFI_HANDLE image,
   8                 const char *cmdline, UINTN cmdline_len,
   9                 const void *linux_buffer, UINTN linux_length,
  10                 const void *initrd_buffer, UINTN initrd_length);