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