| 240 | } |
| 241 | |
| 242 | int MemoryManager::vaddr2paddr(int vaddr) |
| 243 | { |
| 244 | int *pte = (int *)toPTE(vaddr); |
| 245 | int page = (*pte) & 0xfffff000; |
| 246 | int offset = vaddr & 0xfff; |
| 247 | return (page + offset); |
| 248 | } |
| 249 | |
| 250 | void MemoryManager::releaseVirtualPages(enum AddressPoolType type, const int vaddr, const int count) |
| 251 | { |
nothing calls this directly
no outgoing calls
no test coverage detected