void __fastcall HalpDmaFreeTranslationBuffer(__int64 a1){ __int64 v2; HalpMmAllocCtxFree(a1, *(_QWORD *)(a1 + 16)); HalpMmAllocCtxFree(v2, a1); }