[PATCH] x86-64: adjust pmd_bad()
[usb.git] / scripts / basic / 
treecce47793c6a24b4d1f79615a7a8182e36e98e33a
drwxr-xr-x   ..
-rw-r--r-- 29 .gitignore
-rw-r--r-- 716 Makefile
-rw-r--r-- 10231 docproc.c
-rw-r--r-- 9557 fixdep.c