Lines Matching refs:kDefaultPageFlags
279 pageTable[i] = (i * 0x1000) | kDefaultPageFlags;
282 gPageRoot[0] = (uint32)pageTable | kDefaultPageFlags;
288 pageTable[i] = (i * 0x1000 + 0x400000) | kDefaultPageFlags;
291 gPageRoot[1] = (uint32)pageTable | kDefaultPageFlags;
347 map_page(address, get_next_physical_page(), kDefaultPageFlags);
358 map_page(get_next_virtual_page(), get_next_physical_page(), kDefaultPageFlags);
431 map_page(gKernelArgs.arch_args.vir_idt, (uint32)idt, kDefaultPageFlags);
462 map_page(gKernelArgs.arch_args.vir_gdt, (uint32)gdt, kDefaultPageFlags);
598 gPageRoot[1023] = (uint32)gPageRoot | kDefaultPageFlags;
603 map_page(gKernelArgs.arch_args.vir_pgroot, (uint32)gPageRoot, kDefaultPageFlags);