Neel Natu 92337d968c style(9) fixes. ...

Get rid of unused headers.

2014-10-11 03:19:26 +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

style(9) fixes.

2014-10-11 03:19:26 +00:00

Makefile

…