| // Copyright 2021 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef SRC_FIRMWARE_GIGABOOT_SRC_ZIRCON_H_ |
| #define SRC_FIRMWARE_GIGABOOT_SRC_ZIRCON_H_ |
| #include <stdint.h> |
| |
| #include <efi/boot-services.h> |
| #include <efi/types.h> |
| |
| efi_status generate_efi_memory_attributes_table_item(void* ramdisk, const size_t ramdisk_size, |
| efi_system_table* sys, const void* mmap, |
| size_t memory_map_size, size_t dsize); |
| #endif // SRC_FIRMWARE_GIGABOOT_SRC_ZIRCON_H_ |
