__PAGE_KERNEL
#define PAGE_KERNEL __pgprot_page_mask(__PAGE_KERNEL)
#define __PAGE_KERNEL_IO __PAGE_KERNEL
#define __PAGE_KERNEL_ENC (__PAGE_KERNEL | _ENC)
#define __PAGE_KERNEL_NOENC (__PAGE_KERNEL | 0)
#define PAGE_KERNEL __pgprot_mask(__PAGE_KERNEL | _ENC)
#define PAGE_KERNEL_NOENC __pgprot_mask(__PAGE_KERNEL | 0)
*prot = __pgprot(__PAGE_KERNEL | cachemode2protval(pcm));
prot = __pgprot(__PAGE_KERNEL |
__PAGE_KERNEL | _PAGE_ENC;