/*
 * Copyright 2015 The Chromium OS Authors. All rights reserved.
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

#ifndef __TPM2__TPM_INIT_FP_H
#define __TPM2__TPM_INIT_FP_H

void _TPM_Init(void);

#endif  // __TPM2__TPM_INIT_FP_H