Searched refs:ppc_sbd (Results 1 – 1 of 1) sorted by relevance
1548 SysBusDevice *ppc_sbd; in armsse_realize() local1553 ppc_sbd = SYS_BUS_DEVICE(&s->apb_ppc[devinfo->ppc]); in armsse_realize()1554 mr = sysbus_mmio_get_region(ppc_sbd, devinfo->ppc_port); in armsse_realize()