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