@@ -230,10 +230,10 @@ int TPM2_Timestamp_TestArgs(void* userCtx, int argc, char *argv[])
230230
231231 printf ("TPM with signature attests (type 0x%x):\n" , attestedData .type );
232232 /* time value in milliseconds that advances while the TPM is powered */
233- printf ("\tTPM uptime since last power-up(in ms): %lu\n" ,
233+ printf ("\tTPM uptime since last power-up (in ms): %lu\n" ,
234234 (unsigned long )attestedData .attested .time .time .time );
235235 /* time value in milliseconds that advances while the TPM is powered */
236- printf ("\tTPM clock, total time the TPM has been on(in ms): %lu\n" ,
236+ printf ("\tTPM clock, total time the TPM has been on (in ms): %lu\n" ,
237237 (unsigned long )attestedData .attested .time .time .clockInfo .clock );
238238 /* number of occurrences of TPM Reset since the last TPM2_Clear() */
239239 printf ("\tReset Count: %u\n" ,
@@ -245,7 +245,7 @@ int TPM2_Timestamp_TestArgs(void* userCtx, int argc, char *argv[])
245245 printf ("\tClock Safe: %u\n" ,
246246 attestedData .attested .time .time .clockInfo .safe );
247247 /* a TPM vendor-specific value indicating the version number of the firmware */
248- printf ("\tFirmware Version(vendor specific): 0x%lX\n" ,
248+ printf ("\tFirmware Version (vendor specific): 0x%lX\n" ,
249249 (unsigned long )attestedData .attested .time .firmwareVersion );
250250
251251exit :
0 commit comments