| 252 | } |
| 253 | |
| 254 | void MemoryManager::releaseVirtualPages(enum AddressPoolType type, const int vaddr, const int count) |
| 255 | { |
| 256 | if (type == AddressPoolType::KERNEL) |
| 257 | { |
| 258 | kernelVirtual.release(vaddr, count); |
| 259 | } |
| 260 | else if (type == AddressPoolType::USER) |
| 261 | { |
| 262 | programManager.running->userVirtual.release(vaddr, count); |
| 263 | } |
| 264 | } |