Lines Matching refs:ppc_port
53 int ppc_port; /* Port number of this device on the PPC */ member
130 .ppc_port = 0,
139 .ppc_port = 1,
148 .ppc_port = 0,
158 .ppc_port = 2,
214 .ppc_port = 0,
223 .ppc_port = 1,
232 .ppc_port = 0,
242 .ppc_port = 2,
370 .ppc_port = 0,
379 .ppc_port = 1,
388 .ppc_port = 2,
397 .ppc_port = 5,
406 .ppc_port = 0,
1364 devinfo->ppc_port); in armsse_realize()
1554 mr = sysbus_mmio_get_region(ppc_sbd, devinfo->ppc_port); in armsse_realize()