1 /* 2 * Copyright (c) 2020, Arm Limited. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef FCONF_HW_CONFIG_GETTER_H 8 #define FCONF_HW_CONFIG_GETTER_H 9 10 #include <lib/fconf/fconf.h> 11 12 /* Hardware Config related getter */ 13 #define hw_config__gicv3_config_getter(prop) gicv3_config.prop 14 15 struct gicv3_config_t { 16 void *gicd_base; 17 void *gicr_base; 18 }; 19 20 int fconf_populate_gicv3_config(uintptr_t config); 21 22 extern struct gicv3_config_t gicv3_config; 23 24 #endif /* FCONF_HW_CONFIG_GETTER_H */ 25