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);
}