John Baldwin 8b3949c344 Add support for decoding rdrand and rdseed.		2014-05-17 21:10:03 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
amd64	Add support for decoding rdrand and rdseed.	2014-05-17 21:10:03 +00:00
conf	Disable ACPI and P4TCC throttling by default, following discussion on	2014-05-04 16:38:21 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Implement a PCI interrupt router to route PCI legacy INTx interrupts to	2014-05-15 14:16:55 +00:00
linux32	Update kernel inclusions of capability.h to use capsicum.h instead; some	2014-03-16 10:55:57 +00:00
pci	Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this	2013-11-30 22:17:27 +00:00
vmm	Implement a PCI interrupt router to route PCI legacy INTx interrupts to	2014-05-15 14:16:55 +00:00
Makefile