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 int plat_spmd_handle_group0_interrupt(uint32_t intid) 10 { 11 /* 12 * As of now, there are no sources of Group0 secure interrupt enabled 13 * for FVP. 14 */ 15 (void)intid; 16 return -1; 17 } 18