1c11ba852SSoby Mathew /* 2*a1255c75SYann Gautier * Copyright (c) 2016-2024, Arm Limited and Contributors. All rights reserved. 3c11ba852SSoby Mathew * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 5c11ba852SSoby Mathew */ 6c11ba852SSoby Mathew 7c3cf06f1SAntonio Nino Diaz #ifndef SP_MIN_PRIVATE_H 8c3cf06f1SAntonio Nino Diaz #define SP_MIN_PRIVATE_H 9c11ba852SSoby Mathew 10*a1255c75SYann Gautier #include <stdint.h> 11*a1255c75SYann Gautier 12*a1255c75SYann Gautier void sp_min_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, 13*a1255c75SYann Gautier u_register_t arg3); 14c11ba852SSoby Mathew void sp_min_main(void); 15c11ba852SSoby Mathew void sp_min_warm_boot(void); 1671816096SEtienne Carriere void sp_min_fiq(void); 17c11ba852SSoby Mathew 18c3cf06f1SAntonio Nino Diaz #endif /* SP_MIN_PRIVATE_H */ 19