eadler 44c01df173 Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this ... shifts into the sign bit. Instead use (1U << 31) which gets the expected result. This fix is not ideal as it assumes a 32 bit int, but does fix the issue for most cases. A similar change was made in OpenBSD. Discussed with: -arch, rdivacky Reviewed by: cperciva		2013-11-30 22:17:27 +00:00
..
busdma_dmar.c	Initialize variable in sys/x86/iommu/busdma_dmar.c, to avoid possible	2013-11-08 17:27:22 +00:00
busdma_dmar.h
intel_ctx.c	Add support for queued invalidation.	2013-11-01 17:38:52 +00:00
intel_dmar.h	Add support for queued invalidation.	2013-11-01 17:38:52 +00:00
intel_drv.c	Fix gcc warning about an uninitialized bool in sys/x86/iommu/intel_drv.c.	2013-11-09 22:05:29 +00:00
intel_fault.c	Fix gcc warning about an empty device_printf() format string in	2013-11-09 22:00:44 +00:00
intel_gas.c	Add support for queued invalidation.	2013-11-01 17:38:52 +00:00
intel_idpgtbl.c	Fix (erroneous) gcc warnings about usage of uninitialized variables in	2013-11-09 20:36:52 +00:00
intel_qi.c	Add support for queued invalidation.	2013-11-01 17:38:52 +00:00
intel_quirks.c
intel_reg.h	Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this	2013-11-30 22:17:27 +00:00
intel_utils.c	Add support for queued invalidation.	2013-11-01 17:38:52 +00:00