VOID __stdcall VerifierExFreePoolEx(VOID *Buffer, _LOOKASIDE_LIST_EX *Lookaside){ VerifierExFreePool(Buffer); }