Lines Matching refs:level
37 /* top level kernel page tables, initialized in start.S */
42 /* top level pdp needed to map the -512GB..0 space */
48 /* which of the above variables is the top level page table */
60 /* kernel base top level page table in physical space */
220 bool X86PageTableMmu::supports_page_size(PageTableLevel level) {
221 DEBUG_ASSERT(level != PT_L);
222 switch (level) {
238 X86PageTableBase::PtFlags X86PageTableMmu::terminal_flags(PageTableLevel level,
255 if (level > 0) {
290 X86PageTableBase::PtFlags X86PageTableMmu::split_flags(PageTableLevel level,
292 DEBUG_ASSERT(level != PML4_L && level != PT_L);
294 if (level == PD_L) {
313 uint X86PageTableMmu::pt_flags_to_mmu_flags(PtFlags flags, PageTableLevel level) {
326 if (level > 0) {
376 bool X86PageTableEpt::supports_page_size(PageTableLevel level) {
377 DEBUG_ASSERT(level != PT_L);
378 switch (level) {
394 X86PageTableBase::PtFlags X86PageTableEpt::terminal_flags(PageTableLevel level,
426 X86PageTableBase::PtFlags X86PageTableEpt::split_flags(PageTableLevel level,
428 DEBUG_ASSERT(level != PML4_L && level != PT_L);
439 uint X86PageTableEpt::pt_flags_to_mmu_flags(PtFlags flags, PageTableLevel level) {
509 /* allocate a top level page table for the new address space */
514 TRACEF("error allocating top level page directory\n");
551 * Fill in the high level x86 arch aspace structure and allocating a top level page table.