Lines Matching refs:_PAGE_EXT_KERN_WRITE
33 #define _PAGE_EXT_KERN_WRITE 0x1000 /* EPR4-bit: Kernel space writable */
147 _PAGE_EXT_KERN_WRITE | \
167 _PAGE_EXT(_PAGE_EXT_KERN_WRITE | \
172 _PAGE_EXT(_PAGE_EXT_KERN_WRITE | \
183 _PAGE_EXT_KERN_WRITE | \
191 _PAGE_EXT_KERN_WRITE | \
204 _PAGE_EXT_KERN_WRITE | \
319 ((pte).pte_high & (_PAGE_EXT_USER_WRITE | _PAGE_EXT_KERN_WRITE))
333 PTE_BIT_FUNC(high, wrprotect, &= ~(_PAGE_EXT_USER_WRITE | _PAGE_EXT_KERN_WRITE));
334 PTE_BIT_FUNC(high, mkwrite, |= _PAGE_EXT_USER_WRITE | _PAGE_EXT_KERN_WRITE);