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 14 void rpi3_mboot_fetch_eventlog_info(uint8_t **eventlog_addr, size_t *eventlog_size); 15 16 int rpi3_set_nt_fw_info(size_t log_size, uintptr_t *ns_log_addr); 17 18 #endif /* RPI3_MEASURED_BOOT_H */ 19