Searched refs:dino_dev (Results 1 – 1 of 1) sorted by relevance
537 DeviceState *dev, *dino_dev; in machine_HP_B160L_init() local559 dino_dev = DEVICE(dino_init(addr_space)); in machine_HP_B160L_init()562 SYS_BUS_DEVICE(dino_dev), 0)); in machine_HP_B160L_init()563 pci_bus = PCI_BUS(qdev_get_child_bus(dino_dev, "pci")); in machine_HP_B160L_init()576 qdev_get_gpio_in(dino_dev, DINO_IRQ_RS232INT), 7272727 / 16, in machine_HP_B160L_init()