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 
plat_spmd_handle_group0_interrupt(uint32_t intid)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