| Soby Mathew | c11ba85 | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 1 | /* |
| Yann Gautier | a1255c7 | 2024-01-18 18:20:43 +0100 | [diff] [blame] | 2 | * Copyright (c) 2016-2024, Arm Limited and Contributors. All rights reserved. |
| Soby Mathew | c11ba85 | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 3 | * |
| dp-arm | 82cb2c1 | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Soby Mathew | c11ba85 | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| Antonio Nino Diaz | c3cf06f | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef SP_MIN_PRIVATE_H |
| 8 | #define SP_MIN_PRIVATE_H |
| Soby Mathew | c11ba85 | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 9 | |
| Yann Gautier | a1255c7 | 2024-01-18 18:20:43 +0100 | [diff] [blame] | 10 | #include <stdint.h> |
| 11 | |
| 12 | void sp_min_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, |
| 13 | u_register_t arg3); |
| Soby Mathew | c11ba85 | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 14 | void sp_min_main(void); |
| 15 | void sp_min_warm_boot(void); |
| Etienne Carriere | 7181609 | 2017-08-09 15:48:53 +0200 | [diff] [blame] | 16 | void sp_min_fiq(void); |
| Soby Mathew | c11ba85 | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 17 | |
| Antonio Nino Diaz | c3cf06f | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 18 | #endif /* SP_MIN_PRIVATE_H */ |