1 /* 2 * Copyright (c) 2023, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <stdint.h> 8 9 #if defined(SPD_spmd) && (SPMC_AT_EL3 == 0) 10 /* 11 * A dummy implementation of the platform handler for Group0 secure interrupt. 12 */ plat_spmd_handle_group0_interrupt(uint32_t intid)13int plat_spmd_handle_group0_interrupt(uint32_t intid) 14 { 15 (void)intid; 16 return -1; 17 } 18 #endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/ 19