taglinefilesource code
_PAGE_KRE68include/asm-alpha/pgtable.h#define __ACCESS_BITS  (_PAGE_ACCESSED | _PAGE_KRE | _PAGE_URE)
_PAGE_KRE83include/asm-alpha/pgtable.h#define PAGE_KERNEL  __pgprot(_PAGE_VALID | _PAGE_ASM | _PAGE_KRE | _PAGE_KWE)