Searched refs:goldfish_pic_reset (Results 1 – 2 of 2) sorted by relevance
136 static void goldfish_pic_reset(DeviceState *dev) in goldfish_pic_reset() function194 device_class_set_legacy_reset(dc, goldfish_pic_reset); in goldfish_pic_class_init()
295 goldfish_pic_reset(void *dev, int idx) "pic: %p goldfish-irq.%d"