Lines Matching defs:gicd_base
22 uintptr_t gicv3_get_multichip_base(uint32_t spi_id, uintptr_t gicd_base)
29 return gicd_base;
110 unsigned int gicv3_get_spi_limit(uintptr_t gicd_base)
113 unsigned int typer_reg = gicd_read_typer(gicd_base);
130 unsigned int gicv3_get_espi_limit(uintptr_t gicd_base)
132 unsigned int typer_reg = gicd_read_typer(gicd_base);
151 void gicv3_spis_config_defaults(uintptr_t gicd_base)
158 num_ints = gicv3_get_spi_limit(gicd_base);
163 gicd_write_igroupr(gicv3_get_multichip_base(i, gicd_base), i, ~0U);
167 num_eints = gicv3_get_espi_limit(gicd_base);
173 gicd_write_igroupr(gicv3_get_multichip_base(i, gicd_base), i, ~0U);
182 gicd_write_ipriorityr(gicv3_get_multichip_base(i, gicd_base), i, GICD_IPRIORITYR_DEF_VAL);
188 gicd_write_ipriorityr(gicv3_get_multichip_base(i, gicd_base), i, GICD_IPRIORITYR_DEF_VAL);
195 gicd_write_icfgr(gicv3_get_multichip_base(i, gicd_base), i, 0U);
200 gicd_write_icfgr(gicv3_get_multichip_base(i, gicd_base), i, 0U);
208 unsigned int gicv3_secure_spis_config_props(uintptr_t gicd_base,
234 gicv3_get_multichip_base(intr_num, gicd_base);
433 * @gicd_base: base address of the GIC distributor
437 void gicv3_get_component_prodid_rev(const uintptr_t gicd_base,
444 gicd_iidr = gicd_read_iidr(gicd_base);