Lines Matching refs:uint64_t
42 static uint64_t* sPageDirectory = NULL;
43 // static uint64_t* sFirstPageTable = NULL;
44 static uint64_t* sNextPageTable = NULL;
45 // static uint64_t* sLastPageTable = NULL;
131 uint32_t level, uint64_t flags, uint64* descriptor)
232 map_range(addr_t virt_addr, phys_addr_t phys_addr, size_t size, uint64_t flags)
235 (uint64_t)virt_addr, (uint64_t)phys_addr, (uint64_t)size, flags);
436 return (uint64_t)sPageDirectory;