Searched refs:gictype (Results 1 – 2 of 2) sorted by relevance
437 const char *gictype; in create_gic() local442 gictype = gicv3_class_name(); in create_gic()444 sms->gic = qdev_new(gictype); in create_gic()
768 const char *gictype; in create_gic() local775 gictype = gic_class_name(); in create_gic()777 gictype = gicv3_class_name(); in create_gic()793 vms->gic = qdev_new(gictype); in create_gic()