GICD_CLRSPI_NSR   207 drivers/irqchip/irq-gic-v3-mbi.c 	msg[1].address_hi = upper_32_bits(mbi_phys_base + GICD_CLRSPI_NSR);
GICD_CLRSPI_NSR   208 drivers/irqchip/irq-gic-v3-mbi.c 	msg[1].address_lo = lower_32_bits(mbi_phys_base + GICD_CLRSPI_NSR);