xenbusb_add_device
xenbusb_add_device(xbs->xbs_dev, type, id);
int xenbusb_add_device(device_t dev, const char *type, const char *id);
xenbusb_add_device(dev, type, sbuf_data(id));
xenbusb_add_device(dev, type, dir[i]);