Searched refs:gicv_base (Results 1 – 2 of 2) sorted by relevance
54 unsigned int gicv_base; member
218 plat_config.gicv_base = VE_GICV_BASE; in fvp_config_setup()224 plat_config.gicv_base = BASE_GICV_BASE; in fvp_config_setup()