| /* |
| * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #ifndef FCONF_SEC_INTR_CONFIG_H |
| #define FCONF_SEC_INTR_CONFIG_H |
| |
| #include <lib/fconf/fconf.h> |
| |
| #include <platform_def.h> |
| |
| #define hw_config__sec_intr_prop_getter(id) sec_intr_prop.id |
| |
| #define SEC_INT_COUNT_MAX U(15) |
| |
| struct sec_intr_prop_t { |
| interrupt_prop_t descriptor[SEC_INT_COUNT_MAX]; |
| uint32_t count; |
| }; |
| |
| int fconf_populate_sec_intr_config(uintptr_t config); |
| |
| extern struct sec_intr_prop_t sec_intr_prop; |
| |
| #endif /* FCONF_SEC_INTR_CONFIG_H */ |