Lines Matching defs:virtualAddress
190 add_page_table(addr_t virtualAddress)
199 TRACE(("mmu->add_page_table(base = %p)\n", (void *)virtualAddress));
204 index = VADDR_TO_PRENT(virtualAddress);
232 index = VADDR_TO_PDENT(virtualAddress);
254 index = VADDR_TO_PTENT(virtualAddress);
264 lookup_pte(addr_t virtualAddress)
271 rindex = VADDR_TO_PRENT(virtualAddress);
276 dindex = VADDR_TO_PDENT(virtualAddress);
281 pindex = VADDR_TO_PTENT(virtualAddress);
293 unmap_page(addr_t virtualAddress)
297 TRACE(("mmu->unmap_page(virtualAddress = %p)\n", (void *)virtualAddress));
299 if (virtualAddress < KERNEL_BASE)
301 (void *)virtualAddress);
304 pt = lookup_pte(virtualAddress);
308 virtualAddress);
313 asm volatile("pflush (%0)" : : "a" (virtualAddress));
319 map_page(addr_t virtualAddress, addr_t physicalAddress, uint32 flags)
323 TRACE(("mmu->map_page: vaddr 0x%lx, paddr 0x%lx\n", virtualAddress, physicalAddress));
330 pt = lookup_pte(virtualAddress);
334 virtualAddress);
349 asm volatile("pflush (%0)" : : "a" (virtualAddress));