Searched refs:GICD_SGIR (Results 1 – 5 of 5) sorted by relevance
70 writel(1U << 24, gicdaddr + GICD_SGIR); in kick_secondary_cpus_gic()
32 #define GICD_SGIR 0x0f00 macro
57 writel(1U << 24, gic_dist_addr + GICD_SGIR); in stm32mp_smp_kick_all_cpus()
175 str w9, [x0, GICD_SGIR]
284 writel(BIT(16) | 15, GICD_BASE + GICD_SGIR); in psci_cpu_off()