Lines Matching refs:kDefaultPageFlags
278 pageTable[i] = (i * 0x1000) | kDefaultPageFlags;
281 gPageRoot[0] = (uint32)pageTable | kDefaultPageFlags;
287 pageTable[i] = (i * 0x1000 + 0x400000) | kDefaultPageFlags;
290 gPageRoot[1] = (uint32)pageTable | kDefaultPageFlags;
346 map_page(address, get_next_physical_page(), kDefaultPageFlags);
357 map_page(get_next_virtual_page(), get_next_physical_page(), kDefaultPageFlags);
430 map_page(gKernelArgs.arch_args.vir_idt, (uint32)idt, kDefaultPageFlags);
461 map_page(gKernelArgs.arch_args.vir_gdt, (uint32)gdt, kDefaultPageFlags);
595 gPageRoot[1023] = (uint32)gPageRoot | kDefaultPageFlags;
600 map_page(gKernelArgs.arch_args.vir_pgroot, (uint32)gPageRoot, kDefaultPageFlags);