1 /* 2 * Copyright (c) 2025, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef RPI3_MEASURED_BOOT_H 8 #define RPI3_MEASURED_BOOT_H 9 10 #include <stdint.h> 11 12 #include <arch_helpers.h> 13 #include <common/measured_boot.h> 14 15 void rpi3_mboot_fetch_eventlog_info(uint8_t **eventlog_addr, size_t *eventlog_size); 16 17 int rpi3_set_nt_fw_info(size_t log_size, uintptr_t *ns_log_addr); 18 19 #endif /* RPI3_MEASURED_BOOT_H */ 20