dmar_print_one
dmar_print_one((int)addr, show_domains, show_mappings);
dmar_print_one(i, show_domains, show_mappings);