in D3DDred-WinDbg/D3DDred.js [237:240]
get RecentFreedAllocations() { return new LinkedDredNodesToArray(this.PageFaultOutput.pHeadRecentFreedAllocationNode ); }