VOID __stdcall HalpLaFreeState(INT64 a1){
_HALP_ALLOC_CONTEXT *v2;
_HALP_ALLOC_CONTEXT *v3;
_HALP_ALLOC_CONTEXT *v4;
HalpLapDeleteSubtree((INT64 **)a1, *(INT64 **)(a1 + 56));
HalpMmAllocCtxFree(v2, *(VOID **)(a1 + 64));
HalpMmAllocCtxFree(v3, *(VOID **)(a1 + 56));
HalpMmAllocCtxFree(v4, (VOID *)a1);
}