Searched refs:xPTEL2_PR_RWK (Results 1 – 2 of 2) sorted by relevance
268 #define xPTEL2_PR_RWK 0x00000040 /* - R/W kernel */ macro
121 #define _PAGE_PROT_WKNU xPTEL2_PR_RWK