Neel Natu 477867a0e5 Use the max guest memory address when creating its iommu domain. ... Also, assert that the GPA being mapped in the domain is less than its maxaddr. Reviewed by: grehan Pointed out by: Anish Gupta (akgupt3@gmail.com)		2014-08-14 05:00:45 +00:00
..
acpica	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
amd64	Update the text of a KASSERT() to reflect the changes in r269728.	2014-08-09 17:13:02 +00:00
conf	Add vt(4) devices and options to NOTES	2014-07-01 00:22:54 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Merge all MD sf_buf allocators into one MI, residing in kern/subr_sfbuf.c	2014-08-05 09:44:10 +00:00
linux32	Revert r266925 as it can lead to instant panic at fexecve():	2014-06-17 05:29:18 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
vmm	Use the max guest memory address when creating its iommu domain.	2014-08-14 05:00:45 +00:00
Makefile	Adjustments to make a tags file a bit more suitable to amd64.	2008-12-01 14:15:10 +00:00