Searched refs:xPTEL2_PS_4Kb (Results 1 – 2 of 2) sorted by relevance
274 #define xPTEL2_PS_4Kb 0x00000000 /* - 4Kb page */ macro
127 #define _PAGE_PS_4Kb xPTEL2_PS_4Kb