1 /*
2  * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef FCONF_SEC_INTR_CONFIG_H
8 #define FCONF_SEC_INTR_CONFIG_H
9 
10 #include <lib/fconf/fconf.h>
11 
12 #include <platform_def.h>
13 
14 #define hw_config__sec_intr_prop_getter(id)	sec_intr_prop.id
15 
16 #define SEC_INT_COUNT_MAX U(15)
17 
18 struct sec_intr_prop_t {
19 	interrupt_prop_t descriptor[SEC_INT_COUNT_MAX];
20 	uint32_t count;
21 };
22 
23 int fconf_populate_sec_intr_config(uintptr_t config);
24 
25 extern struct sec_intr_prop_t sec_intr_prop;
26 
27 #endif /* FCONF_SEC_INTR_CONFIG_H */
28