Searched refs:DEFAULT_PGTABLE_LEVEL (Results 1 – 1 of 1) sorted by relevance
59 #define DEFAULT_PGTABLE_LEVEL PAGE_MODE_3_LEVEL macro2044 int mode = DEFAULT_PGTABLE_LEVEL; in protection_domain_alloc()