| /* | |
| * Copyright (c) 2018-2025, Arm Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef BL2_H | |
| #define BL2_H | |
| #include <stdint.h> | |
| void bl2_main(u_register_t arg0, u_register_t arg1, u_register_t arg2, | |
| u_register_t arg3); | |
| #endif /* BL2_H */ |