| private DeallocateBuffer ( long buffernumber ) : void | ||
| buffernumber | long | |
| return | void | |
void DeallocateBuffer(long buffernumber)
{
//System.Diagnostics.Debug.WriteLine(" deallocating "+buffernumber);
// should be followed by resetting the header eventually.
this.SetBuffer(buffernumber, FREE, null, 0, 0, this.FreeListHead);
this.FreeListHead = buffernumber;
this.headerDirty = true;
}