1 // SPDX-License-Identifier: BSD-3-Clause
2 /*
3  * Copyright (c) 2020, Arm Limited and Contributors. All rights reserved.
4  */
5 
6 #include <stdint.h>           // for uint32_t
7 #include "ffa_api.h"          // for ffa_interrupt_handler
8 #include "sp_api.h"           // for sp_interrupt_handler
9 
ffa_interrupt_handler(uint32_t interrupt_id)10 void ffa_interrupt_handler(uint32_t interrupt_id)
11 {
12 	sp_interrupt_handler(interrupt_id);
13 }
14