setspi             59 drivers/irqchip/irq-mvebu-gicp.c 	phys_addr_t setspi = gicp->res->start + GICP_SETSPI_NSR_OFFSET;
setspi             63 drivers/irqchip/irq-mvebu-gicp.c 	msg[0].address_lo = lower_32_bits(setspi);
setspi             64 drivers/irqchip/irq-mvebu-gicp.c 	msg[0].address_hi = upper_32_bits(setspi);