PCI_NODENAME_MAX
char nodename[PCI_NODENAME_MAX];
snprintf(nodename, PCI_NODENAME_MAX, "/local/domain/0/backend/pci/%d/0",