Searched refs:gicc_base (Results 1 – 2 of 2) sorted by relevance
77 paddr_t gicc_base = 0; in boot_primary_init_intc() local80 gicc_base = GIC_BASE + GICC_OFFSET; in boot_primary_init_intc()84 gic_init(gicc_base, gicd_base); in boot_primary_init_intc()
137 vaddr_t gicc_base; member190 static size_t probe_max_it(vaddr_t gicc_base __maybe_unused, vaddr_t gicd_base) in probe_max_it()205 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()206 io_write32(gicc_base + GICC_CTLR, 0); in probe_max_it()228 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()349 io_write32(gd->gicc_base + GICC_PMR, 0x80); in init_gic_per_cpu()352 io_write32(gd->gicc_base + GICC_CTLR, in init_gic_per_cpu()365 assert(gd->gicd_base && gd->gicc_base); in gic_init_per_cpu()526 vaddr_t gicc_base = 0; in gic_init_base_addr() local545 gicc_base = core_mmu_get_va(gicc_base_pa, MEM_AREA_IO_SEC, in gic_init_base_addr()[all …]