public void Dispose() { //Memory.FreeObject(StdIn); VirtualPageManager.FreeAddr(PageTableAllocAddr); Threads.Dispose(); GlobalAllocations.Dispose(); }
public void FreeMemory() { VirtualPageManager.FreeAddr(StackTop); if (User) { VirtualPageManager.FreeAddr(StackState); } VirtualPageManager.FreeAddr(KernelStack); }