76 	unsigned long gic_dist_addr;  in smp_kick_all_cpus()  local
78 	gic_dist_addr = get_gicd_base_address();  in smp_kick_all_cpus()
79 	if (gic_dist_addr == -1)  in smp_kick_all_cpus()
82 	kick_secondary_cpus_gic(gic_dist_addr);  in smp_kick_all_cpus()
93 	unsigned long gic_dist_addr;  in armv7_init_nonsec()  local
108 	gic_dist_addr = get_gicd_base_address();  in armv7_init_nonsec()
109 	if (gic_dist_addr == -1)  in armv7_init_nonsec()
113 	writel(readl(gic_dist_addr + GICD_CTLR) | 0x03,  in armv7_init_nonsec()
114 	       gic_dist_addr + GICD_CTLR);  in armv7_init_nonsec()
117 	itlinesnr = readl(gic_dist_addr + GICD_TYPER) & 0x1f;  in armv7_init_nonsec()
124 		writel((unsigned)-1, gic_dist_addr + GICD_IGROUPRn + 4 * i);  in armv7_init_nonsec()