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