decomp_fini
void decomp_fini(decomp_state *dctx, bool flush);
decomp_fini(ctx->dctx, EFI_ERROR(Status));
decomp_fini(ctx->dctx, true);
decomp_fini(dctx, true);