Home
last modified time | relevance | path

Searched refs:num_pgtables (Results 1 – 5 of 5) sorted by relevance

/haiku/headers/private/kernel/arch/x86/
H A Darch_kernel_args.h27 uint32 num_pgtables; member
/haiku/src/system/boot/platform/bios_ia32/
H A Dmmu.cpp178 if (gKernelArgs.arch_args.num_pgtables == MAX_BOOT_PTABLES) { in add_page_table()
195 gKernelArgs.arch_args.pgtables[gKernelArgs.arch_args.num_pgtables++] in add_page_table()
367 gKernelArgs.arch_args.num_pgtables = 0; in init_page_directory()
/haiku/src/system/boot/arch/m68k/
H A Dmmu.cpp185 gKernelArgs.arch_args.pgtables[gKernelArgs.arch_args.num_pgtables++] = (uint32)pageTable;
292 gKernelArgs.arch_args.num_pgtables = 0; in init_page_directory()
/haiku/src/system/boot/platform/atari_m68k/
H A Dmmu.cpp186 gKernelArgs.arch_args.pgtables[gKernelArgs.arch_args.num_pgtables++] = (uint32)pageTable;
293 gKernelArgs.arch_args.num_pgtables = 0; in init_page_directory()
/haiku/src/system/boot/platform/amiga_m68k/
H A Dmmu.cpp185 gKernelArgs.arch_args.pgtables[gKernelArgs.arch_args.num_pgtables++] = (uint32)pageTable;
292 gKernelArgs.arch_args.num_pgtables = 0; in init_page_directory()