| /* | |
| * Copyright (c) 2023, Arm Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #include <stdint.h> | |
| #if defined(SPD_spmd) && (SPMC_AT_EL3 == 0) | |
| /* | |
| * A dummy implementation of the platform handler for Group0 secure interrupt. | |
| */ | |
| int plat_spmd_handle_group0_interrupt(uint32_t intid) | |
| { | |
| (void)intid; | |
| return -1; | |
| } | |
| #endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/ |