#include "qapi/error.h"
#include "trace.h"
#include "hw/sysbus.h"
+#include "migration/vmstate.h"
#include "hw/registerfields.h"
+#include "hw/irq.h"
#include "hw/misc/tz-msc.h"
+#include "hw/qdev-properties.h"
static void tz_msc_update_irq(TZMSC *s)
{
dc->realize = tz_msc_realize;
dc->vmsd = &tz_msc_vmstate;
dc->reset = tz_msc_reset;
- dc->props = tz_msc_properties;
+ device_class_set_props(dc, tz_msc_properties);
}
static const TypeInfo tz_msc_info = {