| 276 | } |
| 277 | |
| 278 | int MemoryManager::vaddr2paddr(int vaddr) |
| 279 | { |
| 280 | int *pte = (int *)toPTE(vaddr); |
| 281 | int page = (*pte) & 0xfffff000; |
| 282 | int offset = vaddr & 0xfff; |
| 283 | return (page + offset); |
| 284 | } |
| 285 | |
| 286 | void MemoryManager::releaseVirtualPages(enum AddressPoolType type, const int vaddr, const int count) |
| 287 | { |
nothing calls this directly
no outgoing calls
no test coverage detected