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