src/boot/efi/linux.h

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