mksid
if (sid == mksid(bus, dev, fun)) {
dom = domain_lookup(acpidmar_sc, segment, mksid(bus, dev, func));
sid = mksid(bus, dev, fun);
sid = mksid(dl->bus, dl->dp[0].device,
sid = mksid(dl->bus, dl->dp[0].device,
iommu_showcfg(iommu, mksid(bus,dev,fun));