/sys/amd64/
../
Makefile
acpica
amd64
conf
ia32
include
linux32
pci
vmm