PCI_SBDF_TO_SEGID
seq_printf(m, "%04x:%02x:%02x.%x\n", PCI_SBDF_TO_SEGID(sbdf),
seg = PCI_SBDF_TO_SEGID(sbdf);
seg = PCI_SBDF_TO_SEGID(sbdf);
seg = PCI_SBDF_TO_SEGID(devid);
seg = PCI_SBDF_TO_SEGID(sbdf);