add_device
extern void add_device(dev_info_t **devinfop, dev_info_t *devinfo);
add_device(&devices, dev);
add_device(&devices, dev);
add_device(&devices, devinfo);
.add_device = amdvi_add_device,
.add_device = vtd_add_device,
return ((*ops->add_device)(domain, dev, rid));
iommu_add_device_t add_device;