src/boot/efi/linux.h

   1 /* SPDX-License-Identifier: LGPL-2.1+ */
   2 /*
   3  * This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the GNU Lesser General Public License as published by
   5  * the Free Software Foundation; either version 2.1 of the License, or
   6  * (at your option) any later version.
   7  *
   8  * This program is distributed in the hope that it will be useful, but
   9  * WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  11  * Lesser General Public License for more details.
  12  *
  13  * Copyright (C) 2015 Kay Sievers <kay@vrfy.org>
  14  */
  15
  16 #ifndef __SDBOOT_kernel_H
  17 #define __SDBOOT_kernel_H
  18
  19 EFI_STATUS linux_exec(EFI_HANDLE *image,
  20                       CHAR8 *cmdline, UINTN cmdline_size,
  21                       UINTN linux_addr,
  22                       UINTN initrd_addr, UINTN initrd_size);
  23 #endif