blob: a165cc4efd5aaaa40d8d7e35c796dfb820c1ad2e [file] [log] [blame]
// SPDX-License-Identifier: BSD-3-Clause
/*
* Copyright (c) 2020, Arm Limited and Contributors. All rights reserved.
*/
#include <stdint.h> // for uint32_t
#include "ffa_api.h" // for ffa_interrupt_handler
#include "sp_api.h" // for sp_interrupt_handler
void ffa_interrupt_handler(uint32_t interrupt_id)
{
sp_interrupt_handler(interrupt_id);
}