Searched refs:xPTEL2_PS_1Kb (Results 1 – 2 of 2) sorted by relevance
276 #define xPTEL2_PS_1Kb 0x00000200 /* - 1Kb page */ macro
131 #define _PAGE_PS_1Kb xPTEL2_PS_1Kb