diff options
| author | dim <dim@FreeBSD.org> | 2013-11-09 22:00:44 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2013-11-09 22:00:44 +0000 |
| commit | ae77d250d37bc175d131be294839825b571854ea (patch) | |
| tree | 189064bc8531cace4d1b50a639d6f947893574be | |
| parent | 1ab8f0512b19c420fa538e3d691e86cee0b98f4d (diff) | |
| download | FreeBSD-src-ae77d250d37bc175d131be294839825b571854ea.zip FreeBSD-src-ae77d250d37bc175d131be294839825b571854ea.tar.gz | |
Fix gcc warning about an empty device_printf() format string in
sys/x86/iommu/intel_fault.c.
Reviewed by: kib
| -rw-r--r-- | sys/x86/iommu/intel_fault.c | 2 |
1 files changed, 1 insertions, 1 deletions
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( |
