VOID __stdcall EmpFreePool(VOID *a1, UINT64 a2, UINT64 a3){ if( !a2 || (unsigned __int64)a1 < a2 || (unsigned __int64)a1 >= a2 + (unsigned int)a3 ) ExFreePoolWithTag(a1, 0x76654D45u); }