dmar_bdf
DPRINTF(0, "add %s to iommu%d.%.4x\n", dmar_bdf(sid), dom->iommu->id, dom->did);
printf("%s: no iommu found\n", dmar_bdf(sid));
DPRINTF(1, "@@@ PCI Attach: %.4x[%s] %.4x\n", sid, dmar_bdf(sid), dom->did);
iommu->id, dmar_bdf(sid), (uint64_t)dom->ptep, lvl,
printf("no domain: %s\n", dmar_bdf(sid));
dmar_bdf(sid), address,
dmar_bdf(sid), did, address,
dmar_bdf(sid), address,
dmar_bdf(sid), address,
dmar_bdf(sid), address);
dmar_bdf(sid), address, flag);
ext->segment, dmar_bdf(ext->devid), ext->cap,
ivhd->segment, dmar_bdf(ivhd->devid), ivhd->cap,
DPRINTF(0," SELECT: %s %.4x\n", dmar_bdf(ie->sel.devid), dte);
DPRINTF(0," SOR: %s %.4x\n", dmar_bdf(start), dte);
DPRINTF(0," EOR: %s\n", dmar_bdf(ie->eor.devid));
DPRINTF(0," ALIAS: src=%s: ", dmar_bdf(ie->alias.srcid));
DPRINTF(0," %s %.4x\n", dmar_bdf(ie->alias.devid), dte);
DPRINTF(0," ALIAS_SOR: %s %.4x ", dmar_bdf(ie->alias.devid), dte);
DPRINTF(0," src=%s\n", dmar_bdf(ie->alias.srcid));
DPRINTF(0," EXT SEL: %s %.4x %.8x\n", dmar_bdf(ie->ext.devid),
DPRINTF(0," EXT SOR: %s %.4x %.8x\n", dmar_bdf(ie->ext.devid),
const char *dmar_bdf(int);
dmar_bdf(dd->sid), dom->iommu->id, dom->did,