Searched defs:dev_secctl (Results 1 – 1 of 1) sorted by relevance
651 DeviceState *dev_secctl = DEVICE(&s->secctl); in armsse_forward_ppc() local922 DeviceState *dev_secctl; in armsse_realize() local