VOID __stdcall VerifierExFreePoolWithTag(PVOID P, UINT64 TagToFree){
ULONG v2;
INT64 v4;
INT64 v5;
v2 = TagToFree;
VfFreePoolNotification(P, 0i64);
VfIrpDatabaseCheckExFreePool(P);
if( (unsigned int)MmKernelVerifierEnabled(v5, v4) )
{
ExFreePoolWithTag(P, v2);
}
else
{
if( (MmVerifierData & 1) != 0 )
ExFreePoolSanityChecks(P);
((void(__fastcall *)(PVOID, _QWORD))pXdvExFreePoolWithTag)(P, v2);
}
}