K 10
svn:author
V 3
dim
K 8
svn:date
V 27
2013-11-09T22:00:44.911161Z
K 7
svn:log
V 111
Fix gcc warning about an empty device_printf() format string in
sys/x86/iommu/intel_fault.c.

Reviewed by:	kib

END