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 #include "MemoryLib_fp.h"
8 #include "FirmwareRead_fp.h"
9
FirmwareRead_Out_Marshal(FirmwareRead_Out * source,TPMI_ST_COMMAND_TAG tag,BYTE ** buffer,INT32 * size)10 UINT16 FirmwareRead_Out_Marshal(FirmwareRead_Out* source,
11 TPMI_ST_COMMAND_TAG tag,
12 BYTE** buffer,
13 INT32* size) {
14 UINT16 total_size = 0;
15 UINT32 parameter_size = 0;
16 BYTE* parameter_size_location;
17 INT32 parameter_size_size = sizeof(UINT32);
18 UINT32 num_response_handles = 0;
19 // Add parameter_size=0 to indicate size of the parameter area. Will be
20 // replaced later by computed parameter_size.
21 if (tag == TPM_ST_SESSIONS) {
22 parameter_size_location = *buffer;
23 // Don't add to total_size, but increment *buffer and decrement *size.
24 UINT32_Marshal(¶meter_size, buffer, size);
25 }
26 // Marshal response parameters.
27 total_size += TPM2B_MAX_BUFFER_Marshal(&source->fuData, buffer, size);
28 // Compute actual parameter_size. Don't add result to total_size.
29 if (tag == TPM_ST_SESSIONS) {
30 parameter_size = total_size - num_response_handles * sizeof(TPM_HANDLE);
31 UINT32_Marshal(¶meter_size, ¶meter_size_location,
32 ¶meter_size_size);
33 }
34 return total_size;
35 }
36
FirmwareRead_In_Unmarshal(FirmwareRead_In * target,TPM_HANDLE request_handles[],BYTE ** buffer,INT32 * size)37 TPM_RC FirmwareRead_In_Unmarshal(FirmwareRead_In* target,
38 TPM_HANDLE request_handles[],
39 BYTE** buffer,
40 INT32* size) {
41 TPM_RC result = TPM_RC_SUCCESS;
42 // Unmarshal request parameters.
43 result = UINT32_Unmarshal(&target->sequenceNumber, buffer, size);
44 if (result != TPM_RC_SUCCESS) {
45 return result;
46 }
47 if ((result == TPM_RC_SUCCESS) && *size) {
48 result = TPM_RC_SIZE;
49 }
50 return result;
51 }
52
Exec_FirmwareRead(TPMI_ST_COMMAND_TAG tag,BYTE ** request_parameter_buffer,INT32 * request_parameter_buffer_size,TPM_HANDLE request_handles[],UINT32 * response_handle_buffer_size,UINT32 * response_parameter_buffer_size)53 TPM_RC Exec_FirmwareRead(TPMI_ST_COMMAND_TAG tag,
54 BYTE** request_parameter_buffer,
55 INT32* request_parameter_buffer_size,
56 TPM_HANDLE request_handles[],
57 UINT32* response_handle_buffer_size,
58 UINT32* response_parameter_buffer_size) {
59 TPM_RC result = TPM_RC_SUCCESS;
60 FirmwareRead_In in;
61 FirmwareRead_Out out;
62 #ifdef TPM_CC_FirmwareRead
63 BYTE* response_buffer;
64 INT32 response_buffer_size;
65 UINT16 bytes_marshalled;
66 UINT16 num_response_handles = 0;
67 #endif
68 *response_handle_buffer_size = 0;
69 *response_parameter_buffer_size = 0;
70 // Unmarshal request parameters to input structure.
71 result =
72 FirmwareRead_In_Unmarshal(&in, request_handles, request_parameter_buffer,
73 request_parameter_buffer_size);
74 if (result != TPM_RC_SUCCESS) {
75 return result;
76 }
77 // Execute command.
78 result = TPM2_FirmwareRead(&in, &out);
79 if (result != TPM_RC_SUCCESS) {
80 return result;
81 }
82 // Marshal output structure to global response buffer.
83 #ifdef TPM_CC_FirmwareRead
84 response_buffer = MemoryGetResponseBuffer(TPM_CC_FirmwareRead) + 10;
85 response_buffer_size = MAX_RESPONSE_SIZE - 10;
86 bytes_marshalled = FirmwareRead_Out_Marshal(&out, tag, &response_buffer,
87 &response_buffer_size);
88 *response_handle_buffer_size = num_response_handles * sizeof(TPM_HANDLE);
89 *response_parameter_buffer_size =
90 bytes_marshalled - *response_handle_buffer_size;
91 return TPM_RC_SUCCESS;
92 #endif
93 return TPM_RC_COMMAND_CODE;
94 }
95