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