x86: with the last user gone, remove set_pte_present
[linux-2.6/verdex.git] / include / 
tree68cec2a61a7c9b5a983e5828c3d11f40410ce875
drwxr-xr-x   ..
-rw-r--r-- 218 Kbuild
drwxr-xr-x - acpi
drwxr-xr-x - asm-arm
drwxr-xr-x - asm-frv
drwxr-xr-x - asm-generic
drwxr-xr-x - asm-h8300
drwxr-xr-x - asm-m32r
drwxr-xr-x - asm-mn10300
drwxr-xr-x - crypto
drwxr-xr-x - drm
drwxr-xr-x - keys
drwxr-xr-x - linux
drwxr-xr-x - math-emu
drwxr-xr-x - media
drwxr-xr-x - mtd
drwxr-xr-x - net
drwxr-xr-x - pcmcia
drwxr-xr-x - rdma
drwxr-xr-x - rxrpc
drwxr-xr-x - scsi
drwxr-xr-x - sound
drwxr-xr-x - trace
drwxr-xr-x - video
drwxr-xr-x - xen