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 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 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 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
