/* SPDX-License-Identifier: BSD-2-Clause */
/***********************************************************************;
 * Copyright (c) 2015 - 2017, Intel Corporation
 * All rights reserved.
 ***********************************************************************/

#ifdef HAVE_CONFIG_H
#include "config.h" // IWYU pragma: keep
#endif

#include "tss2_sys.h"      // for TSS2_SYS_CONTEXT, Tss2_Sys_Finalize
#include "util/aux_util.h" // for UNUSED

void
Tss2_Sys_Finalize(TSS2_SYS_CONTEXT *sysContext) {
    UNUSED(sysContext);
}
