Searched refs:GICD_SGIR (Results 1 – 7 of 7) sorted by relevance
71 writel(1U << 24, gicdaddr + GICD_SGIR); in kick_secondary_cpus_gic()
32 #define GICD_SGIR 0x0f00 macro
53 mmio_write_32(base + GICD_SGIR, val); in gicd_write_sgir()
57 writel((BIT(cpu) << 16), gic_dist_addr + GICD_SGIR); in stm32mp_raise_sgi0()
30 #define GICD_SGIR U(0xF00) macro
177 str w9, [x0, GICD_SGIR]
290 writel(BIT(16) | 15, GICD_BASE + GICD_SGIR); in psci_cpu_off()