/sys/amd64/ia32/