Searched refs:WTE_FLAGS_REGION_PAGE_SIZE_32K (Results 1 – 1 of 1) sorted by relevance
1098 #define WTE_FLAGS_REGION_PAGE_SIZE_32K (7<<0) macro1172 #define WTE_FLAGS_REGION_PAGE_SIZE_32K (7<<0) macro