| 98 | } |
| 99 | |
| 100 | void MemoryManager::releasePhysicalPages(enum AddressPoolType type, const int paddr, const int count) |
| 101 | { |
| 102 | if (type == AddressPoolType::KERNEL) |
| 103 | { |
| 104 | kernelPhysical.release(paddr, count); |
| 105 | } |
| 106 | else if (type == AddressPoolType::USER) |
| 107 | { |
| 108 | |
| 109 | userPhysical.release(paddr, count); |
| 110 | } |
| 111 | } |
| 112 | |
| 113 | int MemoryManager::getTotalMemory() |
| 114 | { |