Jung-uk Kim f69f4d8630 Correct an argument type of iopl syscall for Linuxulator. This also fixes ... a warning from Clang, i. e., "args->level < 0 is always false".		2012-04-16 23:16:18 +00:00
..
acpica	Re-initialize model-specific MSRs when we resume CPUs.	2012-03-30 17:03:06 +00:00
amd64	add actual interrupt counters to back ipi_invlcache_counts	2012-04-13 07:18:19 +00:00
compile
conf	Add OFED and the associated options and drivers to x86 LINT builds:	2012-04-12 14:01:06 +00:00
ia32	Eliminate ia32_reg.h by moving its contents to x86 and ia64 reg.h.	2012-03-18 19:12:11 +00:00
include	bump INTRCNT_COUNT values to reflect actual numbers of IPI counters	2012-04-13 07:15:40 +00:00
linux32	Correct an argument type of iopl syscall for Linuxulator. This also fixes	2012-04-16 23:16:18 +00:00
pci	Move {amd64,i386}/pci/pci_bus.c and {amd64,i386}/include/pci_cfgreg.h to	2011-06-22 21:04:13 +00:00
Makefile	Adjustments to make a tags file a bit more suitable to amd64.	2008-12-01 14:15:10 +00:00