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