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