Searched refs:gicc_base (Results 1 – 3 of 3) sorted by relevance
110 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()111 io_write32(gicc_base + GICC_CTLR, 0); in probe_max_it()133 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()143 assert(gd->gicd_base && gd->gicc_base); in gic_cpu_init()160 io_write32(gd->gicc_base + GICC_PMR, 0x80); in gic_cpu_init()163 io_write32(gd->gicc_base + GICC_CTLR, in gic_cpu_init()203 io_write32(gd->gicc_base + GICC_PMR, 0x80); in gic_init()247 vaddr_t gicc_base = 0; in gic_init_base_addr() local260 if (!gicc_base) in gic_init_base_addr()264 gd->gicc_base = gicc_base; in gic_init_base_addr()[all …]
79 paddr_t gicc_base = 0; in main_init_gic() local82 gicc_base = GIC_BASE + GICC_OFFSET; in main_init_gic()86 gic_init_base_addr(&gic_data, gicc_base, gicd_base); in main_init_gic()
28 vaddr_t gicc_base; member
Completed in 4 milliseconds