VOID __stdcall VerifierFreeTrackedPool(PVOID VirtualAddress, UINT64 ChargedBytes, UINT64 CheckType, UINT64 SpecialPool){
unsigned int v4;
unsigned int v5;
UINT64 v8;
v4 = SpecialPool;
v5 = CheckType;
if( !VerifierIsTrackingPool )
VerifierBugCheckIfAppropriate(0xC2ui64, 0x99ui64, (UINT64)VirtualAddress, 0i64, 0i64, v8);
ViFreeTrackedPool(VirtualAddress, ChargedBytes, v5, v4);
}