VOID *__fastcall HalpMmAllocCtxBufferCleanup(__int64 a1, _QWORD *a2){ void *v2; v2 = (void *)a2[2]; if( v2 ) ExFreePoolWithTag(v2, 0); return ExFreePoolWithTag(a2, 0); }