89 addr_t gPageRoot = 0;
91 static addr_t sNextPhysicalAddress = 0x100000;
92 static addr_t sNextVirtualAddress = KERNEL_LOAD_BASE + kMaxKernelSize;
93 static addr_t sMaxVirtualAddress = KERNEL_LOAD_BASE /*+ 0x400000*/;
96 static addr_t sNextPageTableAddress = 0x90000;
103 static addr_t
106 	addr_t address = sNextVirtualAddress;  in get_next_virtual_address()
114 static addr_t
117 	addr_t address = sNextPhysicalAddress;  in get_next_physical_address()
125 static addr_t
133 static addr_t
142 extern "C" addr_t
149 	addr_t address = sNextPageTableAddress;  in mmu_get_next_page_tables()
156 	addr_t tbl = get_next_physical_page();  in mmu_get_next_page_tables()
175 add_page_table(addr_t base)
198 unmap_page(addr_t virtualAddress)  in unmap_page()
211 map_page(addr_t virtualAddress, addr_t physicalAddress, uint32 flags)  in map_page()
307 extern "C" addr_t
308 mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags)  in mmu_map_physical_memory()
310 	addr_t address = sNextVirtualAddress;  in mmu_map_physical_memory()
311 	addr_t pageOffset = physicalAddress & (B_PAGE_SIZE - 1);  in mmu_map_physical_memory()
315 	for (addr_t offset = 0; offset < size; offset += B_PAGE_SIZE) {  in mmu_map_physical_memory()
338 		addr_t address = (addr_t)virtualAddress;  in mmu_allocate()
375 	addr_t address = (addr_t)virtualAddress;  in mmu_free()
376 	addr_t pageOffset = address % B_PAGE_SIZE;  in mmu_free()
571 	addr_t fastram_top = 0;  in mmu_init()
608 	gKernelArgs.cpu_kstack[0].start = (addr_t)mmu_allocate(NULL,  in mmu_init()
632 	addr_t video_base = *TOSVAR_memtop;  in mmu_init()
670 	addr_t base = get_next_physical_address(size);  in platform_allocate_heap_region()
685 	addr_t base = (addr_t)_base;  in platform_free_heap_region()
696 platform_bootloader_address_to_kernel_address(void *address, addr_t *_result)  in platform_bootloader_address_to_kernel_address()
700 	*_result = (addr_t)address;  in platform_bootloader_address_to_kernel_address()
706 platform_kernel_address_to_bootloader_address(addr_t address, void **_result)  in platform_kernel_address_to_bootloader_address()