svn commit: r257902 - head/sys/x86/iommu

[Dimitry Andric]

Author: dim
Date: Sat Nov  9 22:00:44 2013
New Revision: 257902
URL: http://svnweb.freebsd.org/changeset/base/257902

Log:
  Fix gcc warning about an empty device_printf() format string in
  sys/x86/iommu/intel_fault.c.
  
  Reviewed by:	kib

Modified:
  head/sys/x86/iommu/intel_fault.c

Modified: head/sys/x86/iommu/intel_fault.c
==============================================================================
--- head/sys/x86/iommu/intel_fault.c	Sat Nov  9 21:24:56 2013	(r257901)
+++ head/sys/x86/iommu/intel_fault.c	Sat Nov  9 22:00:44 2013	(r257902)
@@ -215,7 +215,7 @@ dmar_fault_task(void *arg, int pending _
 			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(