Searched refs:gicc_base (Results 1 – 2 of 2) sorted by relevance
84 paddr_t gicc_base = 0; in boot_primary_init_intc() local87 gicc_base = GIC_BASE + GICC_OFFSET; in boot_primary_init_intc()91 gic_init(gicc_base, gicd_base); in boot_primary_init_intc()
145 vaddr_t gicc_base; member198 static size_t probe_max_it(vaddr_t gicc_base __maybe_unused, vaddr_t gicd_base) in probe_max_it()213 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()214 io_write32(gicc_base + GICC_CTLR, 0); in probe_max_it()236 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()357 io_write32(gd->gicc_base + GICC_PMR, 0x80); in init_gic_per_cpu()360 io_write32(gd->gicc_base + GICC_CTLR, in init_gic_per_cpu()373 assert(gd->gicd_base && gd->gicc_base); in gic_init_per_cpu()534 vaddr_t gicc_base = 0; in gic_init_base_addr() local553 gicc_base = core_mmu_get_va(gicc_base_pa, MEM_AREA_IO_SEC, in gic_init_base_addr()[all …]