/* SPDX-License-Identifier: BSD-2-Clause */ | |
/***********************************************************************; | |
* Copyright (c) 2015 - 2017, Intel Corporation | |
* All rights reserved. | |
***********************************************************************/ | |
#ifdef HAVE_CONFIG_H | |
#include <config.h> | |
#endif | |
#include "tss2_tpm2_types.h" | |
#include "tss2_mu.h" | |
#include "sysapi_util.h" | |
void Tss2_Sys_Finalize( | |
TSS2_SYS_CONTEXT *sysContext) | |
{ | |
(void)(sysContext); | |
} |