VOID __stdcall VerifierExFreePool(PVOID P){
INT64 v1;
void *v3;
INT64 v4;
INT64 v5;
if( (unsigned int)MmKernelVerifierEnabled((INT64)P, v1)
|| (VfFreePoolNotification(v3, 0i64), VfIrpDatabaseCheckExFreePool(P), (unsigned int)MmKernelVerifierEnabled(v5, v4)) )
{
ExFreePoolWithTag(P, 0);
}
else
{
if( (MmVerifierData & 1) != 0 )
ExFreePoolSanityChecks(P);
((void(__fastcall *)(PVOID))pXdvExFreePool)(P);
}
}