[PATCH] Fix pte_exec/mkexec and use it in change_page_attr()
[linux-2.6/verdex.git] / arch / i386 / boot / tools / 
tree79e38a2e381026c1629c6f5433e75610d4c082df
drwxr-xr-x   ..
-rw-r--r-- 6 .gitignore
-rw-r--r-- 4694 build.c