Searched refs:sbd_secctl (Results 1 – 1 of 1) sorted by relevance
920 SysBusDevice *sbd_secctl; in armsse_realize() local1135 sbd_secctl = SYS_BUS_DEVICE(&s->secctl); in armsse_realize()1137 sysbus_mmio_map(sbd_secctl, 0, 0x50080000); in armsse_realize()1138 sysbus_mmio_map(sbd_secctl, 1, 0x40080000); in armsse_realize()