Searched refs:IPI_ADDR (Results 1 – 1 of 1) sorted by relevance
76 #define IPI_ADDR 0xFF300000 macro740 sysbus_mmio_map(SYS_BUS_DEVICE(&s->ipi), 0, IPI_ADDR); in xlnx_zynqmp_realize()