/* | |
* Copyright (c) 2021, Arm Limited. All rights reserved. | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#include <debug.h> | |
#include <ffa_helpers.h> | |
#include <sp_helpers.h> | |
#include <spm_helpers.h> | |
int cactus_irq_handler(void) | |
{ | |
uint32_t irq_num; | |
irq_num = spm_interrupt_get(); | |
ERROR("%s: Interrupt ID %u not handled!\n", __func__, irq_num); | |
return 0; | |
} | |
int cactus_fiq_handler(void) | |
{ | |
uint32_t fiq_num; | |
fiq_num = spm_interrupt_get(); | |
ERROR("%s: Interrupt ID %u not handled!\n", __func__, fiq_num); | |
return 0; | |
} |