]>
Commit | Line | Data |
---|---|---|
4d0cb755 VS |
1 | /* |
2 | * GRUB -- GRand Unified Bootloader | |
3 | * Copyright (C) 2013-2015 Free Software Foundation, Inc. | |
4 | * | |
5 | * GRUB is free software: you can redistribute it and/or modify | |
6 | * it under the terms of the GNU General Public License as published by | |
7 | * the Free Software Foundation, either version 3 of the License, or | |
8 | * (at your option) any later version. | |
9 | * | |
10 | * GRUB is distributed in the hope that it will be useful, | |
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | * GNU General Public License for more details. | |
14 | * | |
15 | * You should have received a copy of the GNU General Public License | |
16 | * along with GRUB. If not, see <http://www.gnu.org/licenses/>. | |
17 | */ | |
18 | ||
19 | #ifndef GRUB_FDTLOAD_CPU_HEADER | |
20 | #define GRUB_FDTLOAD_CPU_HEADER 1 | |
21 | ||
22 | #include <grub/types.h> | |
23 | #include <grub/err.h> | |
24 | ||
25 | void * | |
26 | grub_fdt_load (grub_size_t additional_size); | |
27 | void | |
28 | grub_fdt_unload (void); | |
29 | grub_err_t | |
30 | grub_fdt_install (void); | |
31 | ||
32 | #define GRUB_EFI_PAGE_SHIFT 12 | |
33 | #define GRUB_EFI_BYTES_TO_PAGES(bytes) (((bytes) + 0xfff) >> GRUB_EFI_PAGE_SHIFT) | |
34 | ||
35 | #endif |