dom_bdf
printf("dmamap_unmap: %s\n", dom_bdf(dom));
dom_bdf(dom), rmrr->start, rmrr->end);
dom_bdf(dom), rc);
const char *dom_bdf(struct domain *);
dom_bdf(dom), (uint64_t)addr, error);
printf("%s: pthru map failed (%d)\n", dom_bdf(dom), error);
printf("%s: %s\n", lbl, dom_bdf(dom));
dom_bdf(dom), (uint64_t)base);