VfPoolCheckForLeaks

VOID __stdcall VfPoolCheckForLeaks(
        _VF_TARGET_VERIFIED_DRIVER_DATA *VerifiedData,
        _KLDR_DATA_TABLE_ENTRY *DataTableEntry){
  PSLIST_ENTRY v3; 
  UINT64 v4; 

  if( (VerifiedData->PagedBytes || VerifiedData->NonPagedBytes) && (MmVerifierData & 8) != 0 )
    VerifierBugCheckIfAppropriate(
      0xC4ui64,
      0x62u,
      (ULONG_PTR)DataTableEntry->BaseDllName.Buffer,
      (ULONG_PTR)VerifiedData,
      VerifiedData->CurrentNonPagedPoolAllocations + VerifiedData->CurrentPagedPoolAllocations,
      v4);
  while( 1 )
  {
    v3 = RtlpInterlockedPopEntrySList(&VerifiedData->PoolPageHeaders);
    if( !v3 )
      break;
    ExFreePoolWithTag(v3, 0);
  }
}

Referenced by:

VfTargetDriversRemove