/* * Copyright (c) 2020, Arm Limited. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ #ifndef FCONF_HW_CONFIG_GETTER_H #define FCONF_HW_CONFIG_GETTER_H #include <lib/fconf/fconf.h> /* Hardware Config related getter */ #define hw_config__gicv3_config_getter(prop) gicv3_config.prop struct gicv3_config_t { void *gicd_base; void *gicr_base; }; int fconf_populate_gicv3_config(uintptr_t config); extern struct gicv3_config_t gicv3_config; #endif /* FCONF_HW_CONFIG_GETTER_H */