Searched refs:gicd_base (Results 1 – 2 of 2) sorted by relevance
138 vaddr_t gicd_base; member187 io_read32(gd->gicd_base + GICD_CTLR) & GICD_CTLR_ARE_S; in affinity_routing_is_enabled()190 static size_t probe_max_it(vaddr_t gicc_base __maybe_unused, vaddr_t gicd_base) in probe_max_it() argument195 size_t max_regs = io_read32(gicd_base + GICD_TYPER) & in probe_max_it()213 old_reg = io_read32(gicd_base + GICD_ISENABLER(i)); in probe_max_it()214 io_write32(gicd_base + GICD_ISENABLER(i), 0xffffffff); in probe_max_it()215 reg = io_read32(gicd_base + GICD_ISENABLER(i)); in probe_max_it()216 io_write32(gicd_base + GICD_ICENABLER(i), ~old_reg); in probe_max_it()307 grp0 = io_read32(gd->gicd_base + GICD_IGROUPR(0)); in gic_legacy_sync_dist_config()319 io_write32(gd->gicd_base + GICD_ICENABLER(0), BIT(n)); in gic_legacy_sync_dist_config()[all …]
76 paddr_t gicd_base = 0; in boot_primary_init_intc() local82 gicd_base = GIC_BASE + GICD_OFFSET; in boot_primary_init_intc()84 gic_init(gicc_base, gicd_base); in boot_primary_init_intc()