1// Copyright 2015 The Chromium OS Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5// THIS CODE IS GENERATED - DO NOT MODIFY!
6
7#ifndef TPM2_READCLOCK_FP_H_
8#define TPM2_READCLOCK_FP_H_
9
10#include "tpm_generated.h"
11
12typedef struct { TPMS_TIME_INFO currentTime; } ReadClock_Out;
13
14// Executes ReadClock and computes response handles and parameters
15// to |out|.
16TPM_RC TPM2_ReadClock(ReadClock_Out* out);
17
18// Marshals response handles and parameters from |source| to |buffer|. Computes
19// and marshals the size of the parameter area (parameter_size) if |tag| ==
20// TPM_ST_SESSIONS. Returns size of (parameter area + handle area) in bytes.
21// Does not include parameter_size field.
22UINT16 ReadClock_Out_Marshal(ReadClock_Out* source,
23                             TPMI_ST_COMMAND_TAG tag,
24                             BYTE** buffer,
25                             INT32* size);
26
27// Unmarshals any request parameters starting at |request_parameter_buffer|.
28// Executes command. Marshals any response handles and parameters to the
29// global response buffer and computes |*response_handle_buffer_size| and
30// |*response_parameter_buffer_size|. If |tag| == TPM_ST_SESSIONS, marshals
31// parameter_size indicating the size of the parameter area. parameter_size
32// field is located between the handle area and parameter area.
33TPM_RC Exec_ReadClock(TPMI_ST_COMMAND_TAG tag,
34                      BYTE** request_parameter_buffer,
35                      INT32* request_parameter_buffer_size,
36                      TPM_HANDLE request_handles[],
37                      UINT32* response_handle_buffer_size,
38                      UINT32* response_parameter_buffer_size);
39
40#endif  // TPM2_READCLOCK_FP_H
41