Lines Matching defs:vaddr
3049 vm_get_page_mapping(team_id team, addr_t vaddr, phys_addr_t* paddr)
3059 status_t status = map->Query(vaddr, paddr, &dummyFlags);
4293 // find the vaddr to allocate at
4295 //dprintf("vm_allocate_early: vaddr 0x%lx\n", virtualBase);
5099 vm_put_physical_page(addr_t vaddr, void* handle)
5101 return sPhysicalPageMapper->PutPage(vaddr, handle);
5113 vm_put_physical_page_current_cpu(addr_t vaddr, void* handle)
5115 return sPhysicalPageMapper->PutPageCurrentCPU(vaddr, handle);
5126 vm_put_physical_page_debug(addr_t vaddr, void* handle)
5128 return sPhysicalPageMapper->PutPageDebug(vaddr, handle);