Searched refs:xPTEL2_V (Results 1 – 2 of 2) sorted by relevance
262 #define xPTEL2_V 0x00000001 /* TLB entry valid */ macro
115 #define _PAGE_VALID xPTEL2_V