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