freebsd-dev/sys/amd64
2014-10-11 03:09:34 +00:00
..
acpica don't set CR4 PSE bit on amd64 2014-07-23 15:53:29 +00:00
amd64 IFC @r272887 2014-10-10 23:52:56 +00:00
conf As per [1] Intel only supports this driver on 64bit platforms. 2014-09-23 08:33:03 +00:00
ia32 x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...) 2013-11-14 15:37:20 +00:00
include IFC @r272887 2014-10-10 23:52:56 +00:00
linux32 Re-gen after r271743 implementing most of 2014-09-18 08:40:00 +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 a consistent style for messages emitted when the module is loaded. 2014-10-11 03:09:34 +00:00
Makefile