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_POLICYTICKET_FP_H_
8 #define TPM2_POLICYTICKET_FP_H_
9 
10 #include "tpm_generated.h"
11 
12 typedef struct {
13   TPMI_SH_POLICY policySession;
14   TPM2B_TIMEOUT timeout;
15   TPM2B_DIGEST cpHashA;
16   TPM2B_NONCE policyRef;
17   TPM2B_NAME authName;
18   TPMT_TK_AUTH ticket;
19 } PolicyTicket_In;
20 
21 // Executes PolicyTicket with request handles and parameters from |in|.
22 TPM_RC TPM2_PolicyTicket(PolicyTicket_In* in);
23 
24 // Initializes handle fields in |target| from |request_handles|. Unmarshals
25 // parameter fields in |target| from |buffer|.
26 TPM_RC PolicyTicket_In_Unmarshal(PolicyTicket_In* target,
27                                  TPM_HANDLE request_handles[],
28                                  BYTE** buffer,
29                                  INT32* size);
30 
31 // Unmarshals any request parameters starting at |request_parameter_buffer|.
32 // Executes command. Marshals any response handles and parameters to the
33 // global response buffer and computes |*response_handle_buffer_size| and
34 // |*response_parameter_buffer_size|. If |tag| == TPM_ST_SESSIONS, marshals
35 // parameter_size indicating the size of the parameter area. parameter_size
36 // field is located between the handle area and parameter area.
37 TPM_RC Exec_PolicyTicket(TPMI_ST_COMMAND_TAG tag,
38                          BYTE** request_parameter_buffer,
39                          INT32* request_parameter_buffer_size,
40                          TPM_HANDLE request_handles[],
41                          UINT32* response_handle_buffer_size,
42                          UINT32* response_parameter_buffer_size);
43 
44 #endif  // TPM2_POLICYTICKET_FP_H
45