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