Lines Matching defs:vaddr
2679 vm_get_page_mapping(team_id team, addr_t vaddr, phys_addr_t* paddr)
2689 status_t status = map->Query(vaddr, paddr, &dummyFlags);
3761 // find the vaddr to allocate at
3763 //dprintf("vm_allocate_early: vaddr 0x%lx\n", virtualBase);
4577 vm_put_physical_page(addr_t vaddr, void* handle)
4579 return sPhysicalPageMapper->PutPage(vaddr, handle);
4591 vm_put_physical_page_current_cpu(addr_t vaddr, void* handle)
4593 return sPhysicalPageMapper->PutPageCurrentCPU(vaddr, handle);
4604 vm_put_physical_page_debug(addr_t vaddr, void* handle)
4606 return sPhysicalPageMapper->PutPageDebug(vaddr, handle);