Searched refs:gicdaddr (Results 1 – 1 of 1) sorted by relevance
68 static void kick_secondary_cpus_gic(unsigned long gicdaddr) in kick_secondary_cpus_gic() argument71 writel(1U << 24, gicdaddr + GICD_SGIR); in kick_secondary_cpus_gic()