Searched refs:boot_ptable (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dinit.c219 boot_ptable[MEM_PTABLE_SIZE][X86_32_PTABLE_SIZE] variable in typeref:union:x86_32_ptable_entry
288 (lpaddr_t)boot_ptable[X86_32_PDIR_BASE(base)]);
289 paging_x86_32_map(&boot_ptable[X86_32_PDIR_BASE(base)][X86_32_PTABLE_BASE(base)],
297 (lpaddr_t)boot_ptable[X86_32_PDIR_BASE(base)]);

Completed in 85 milliseconds