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(
_______________________________________________
svn-src-head@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"

Reply via email to