Searched refs:chk_optimal_1gtlb (Results 1 – 1 of 1) sorted by relevance
342 int chk_optimal_1gtlb = 1; variable754 if (chk_optimal_1gtlb && in set_max_page_level()