GICD_SETSPI_NSR   109 drivers/irqchip/irq-gic-v3-mbi.c 				    mbi_phys_base + GICD_SETSPI_NSR);
GICD_SETSPI_NSR   147 drivers/irqchip/irq-gic-v3-mbi.c 	msg[0].address_hi = upper_32_bits(mbi_phys_base + GICD_SETSPI_NSR);
GICD_SETSPI_NSR   148 drivers/irqchip/irq-gic-v3-mbi.c 	msg[0].address_lo = lower_32_bits(mbi_phys_base + GICD_SETSPI_NSR);