1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /***********************************************************************; 3 * Copyright (c) 2015 - 2017, Intel Corporation 4 * All rights reserved. 5 ***********************************************************************/ 6 7 #ifdef HAVE_CONFIG_H 8 #include <config.h> 9 #endif 10 11 #include "tss2_tpm2_types.h" 12 #include "tss2_mu.h" 13 #include "sysapi_util.h" 14 Tss2_Sys_Finalize(TSS2_SYS_CONTEXT * sysContext)15void Tss2_Sys_Finalize( 16 TSS2_SYS_CONTEXT *sysContext) 17 { 18 (void)(sysContext); 19 } 20