From ae77d250d37bc175d131be294839825b571854ea Mon Sep 17 00:00:00 2001 From: dim Date: Sat, 9 Nov 2013 22:00:44 +0000 Subject: Fix gcc warning about an empty device_printf() format string in sys/x86/iommu/intel_fault.c. Reviewed by: kib --- sys/x86/iommu/intel_fault.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sys/x86/iommu') diff --git a/sys/x86/iommu/intel_fault.c b/sys/x86/iommu/intel_fault.c index 11d4b37..18f8fef 100644 --- a/sys/x86/iommu/intel_fault.c +++ b/sys/x86/iommu/intel_fault.c @@ -215,7 +215,7 @@ dmar_fault_task(void *arg, int pending __unused) ctx->flags |= DMAR_CTX_FAULTED; ctx->last_fault_rec[0] = fault_rec[0]; ctx->last_fault_rec[1] = fault_rec[1]; - device_printf(ctx->ctx_tag.owner, ""); + device_print_prettyname(ctx->ctx_tag.owner); } DMAR_UNLOCK(unit); printf( -- cgit v1.1