Lines Matching refs:uint64
36 extern uint64 gLongGDT;
37 extern uint64 gLongGDTR;
162 uint64 start = gKernelArgs.physical_memory_range[i].start;
163 uint64 size = gKernelArgs.physical_memory_range[i].size;
170 uint64 start = gKernelArgs.physical_allocated_range[i].start;
171 uint64 size = gKernelArgs.physical_allocated_range[i].size;
178 uint64 start = gKernelArgs.virtual_allocated_range[i].start;
179 uint64 size = gKernelArgs.virtual_allocated_range[i].size;
222 uint64 maxAddress = 0;
247 maxAddress = std::max(maxAddress, (uint64)0x100000000ll);
260 pdpt = (uint64*)mmu_allocate_page();
265 for (uint64 i = 0; i < maxAddress; i += 0x40000000) {
266 pageDir = (uint64*)mmu_allocate_page();
270 for (uint64 j = 0; j < 0x40000000; j += 0x200000) {
277 pdpt = (uint64*)mmu_allocate_page();
281 pageDir = (uint64*)mmu_allocate_page();
291 pageTable = (uint64*)mmu_allocate_page();
306 return (uint64)pml4;