ata_pcivendor2str
device_set_descf(dev, "%s ATA controller", ata_pcivendor2str(dev));
ata_pcivendor2str(dev), ctlr->chip->text,
const char *ata_pcivendor2str(device_t dev);