Symbol: SYS_ICC_PPI_SPENDR1_EL1
drivers/irqchip/irq-gic-v5.c
287
read_sysreg_s(SYS_ICC_PPI_SPENDR1_EL1);
drivers/irqchip/irq-gic-v5.c
310
write_sysreg_s(bit, SYS_ICC_PPI_SPENDR1_EL1);