VOID __stdcall VerifierExFreePool(VOID *P){
VOID *v2;
if( MmKernelVerifierEnabled()
|| (VfFreePoolNotification(v2, 0i64), VfIrpDatabaseCheckExFreePool(P), MmKernelVerifierEnabled()) )
{
ExFreePoolWithTag(P, 0);
}
else
{
if( (MmVerifierData & 1) != 0 )
ExFreePoolSanityChecks(P);
((void(__fastcall *)(VOID *))pXdvExFreePool)(P);
}
}