Searched refs:_PAGE_EXT_KERN_READ (Results 1 – 2 of 2) sorted by relevance
70 #define _PAGE_EXT_KERN_READ 0x2000 /* EPR5-bit: Kernel space readable */ macro181 _PAGE_EXT(_PAGE_EXT_KERN_READ | \189 _PAGE_EXT_KERN_READ | \197 _PAGE_EXT(_PAGE_EXT_KERN_READ | \208 _PAGE_EXT_KERN_READ | \217 _PAGE_EXT(_PAGE_EXT_KERN_READ | \225 _PAGE_EXT(_PAGE_EXT_KERN_READ | \232 _PAGE_EXT(_PAGE_EXT_KERN_READ | \
131 prot |= _PAGE_EXT(_PAGE_EXT_KERN_READ | _PAGE_EXT_USER_READ); in pte_access_permitted()