VOID __fastcall HalpLaFreeState(INT64 a1){
__int64 v2;
__int64 v3;
__int64 v4;
HalpLapDeleteSubtree((INT64 **)a1, *(INT64 **)(a1 + 56));
HalpMmAllocCtxFree(v2, *(_QWORD *)(a1 + 64));
HalpMmAllocCtxFree(v3, *(_QWORD *)(a1 + 56));
HalpMmAllocCtxFree(v4, a1);
}