Home | History | Annotate | Download | only in tpm2 
      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 "ReadClock_fp.h"
      9 
     10 UINT16 ReadClock_Out_Marshal(ReadClock_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(&parameter_size, buffer, size);
     25   }
     26   // Marshal response parameters.
     27   total_size += TPMS_TIME_INFO_Marshal(&source->currentTime, 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(&parameter_size, &parameter_size_location,
     32                    &parameter_size_size);
     33   }
     34   return total_size;
     35 }
     36 
     37 TPM_RC Exec_ReadClock(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   TPM_RC result = TPM_RC_SUCCESS;
     44   ReadClock_Out out;
     45 #ifdef TPM_CC_ReadClock
     46   BYTE* response_buffer;
     47   INT32 response_buffer_size;
     48   UINT16 bytes_marshalled;
     49   UINT16 num_response_handles = 0;
     50 #endif
     51   *response_handle_buffer_size = 0;
     52   *response_parameter_buffer_size = 0;
     53   // Execute command.
     54   result = TPM2_ReadClock(&out);
     55   if (result != TPM_RC_SUCCESS) {
     56     return result;
     57   }
     58 // Marshal output structure containing response handles and parameters to
     59 // response buffer.
     60 #ifdef TPM_CC_ReadClock
     61   response_buffer = MemoryGetResponseBuffer(TPM_CC_ReadClock) + 10;
     62   response_buffer_size = MAX_RESPONSE_SIZE - 10;
     63   bytes_marshalled =
     64       ReadClock_Out_Marshal(&out, tag, &response_buffer, &response_buffer_size);
     65   *response_handle_buffer_size = num_response_handles * sizeof(TPM_HANDLE);
     66   *response_parameter_buffer_size =
     67       bytes_marshalled - *response_handle_buffer_size;
     68   return TPM_RC_SUCCESS;
     69 #endif
     70   return TPM_RC_COMMAND_CODE;
     71 }
     72