Symbol: getTaggedPage
sys/arch/hpc/stand/hpcboot/memory.cpp
173
MemoryManager::getTaggedPage(vaddr_t &vaddr, paddr_t &paddr)
sys/arch/hpc/stand/hpcboot/memory.cpp
190
MemoryManager::getTaggedPage(vaddr_t &v, paddr_t &p,