Searched refs:gictype (Results 1 – 2 of 2) sorted by relevance
434 const char *gictype; in create_gic() local 439 gictype = gicv3_class_name(); in create_gic() 441 sms->gic = qdev_new(gictype); in create_gic()
769 const char *gictype; in create_gic() local 776 gictype = gic_class_name(); in create_gic() 778 gictype = gicv3_class_name(); in create_gic() 794 vms->gic = qdev_new(gictype); in create_gic()