Searched refs:gicd_base (Results 1 – 3 of 3) sorted by relevance
120 reg = io_read32(gicd_base + GICD_ISENABLER(i)); in probe_max_it()141 assert(gd->gicd_base); in gic_cpu_init()143 assert(gd->gicd_base && gd->gicc_base); in gic_cpu_init()208 io_setbits32(gd->gicd_base + GICD_CTLR, in gic_init()248 vaddr_t gicd_base = 0; in gic_init_base_addr() local254 if (!gicd_base) in gic_init_base_addr()265 gd->gicd_base = gicd_base; in gic_init_base_addr()266 gd->max_it = probe_max_it(gicc_base, gicd_base); in gic_init_base_addr()296 vaddr_t itargetsr = gd->gicd_base + in gic_it_set_cpu_mask()330 vaddr_t base = gd->gicd_base; in gic_it_enable()[all …]
78 paddr_t gicd_base; in main_init_gic() local84 gicd_base = GIC_BASE + GICD_OFFSET; in main_init_gic()86 gic_init_base_addr(&gic_data, gicc_base, gicd_base); in main_init_gic()
29 vaddr_t gicd_base; member
Completed in 7 milliseconds