OP-TEE / build

Makefiles to use OP-TEE on various platforms
110 stars 219 forks source link

TEE_GetSystemTime invalid time #315

Open jdeus opened 6 years ago

jdeus commented 6 years ago

On rpi3 with the default governor (powersave), The results of seconds of a TEE_Time passed to TEE_GetSystemTime must be divided by 10 to obtain a valid result.

Example:

TEE_Time startt, stopt;

TEE_GetSystemTime(&startt); (...) TEE_GetSystemTime(&stopt);

IMSG("%d.%d", startt.seconds, startt.millis); IMSG("%d.%d", stopt.seconds, stopt.millis);

Produces:

I/TA: 2831.571 I/TA: 2929.64

While only ~9 seconds have elapsed.

Expected:

I/TA: 283.1571 I/TA: 292.964

jbech-linaro commented 6 years ago

Yes, this seems like a bug to me. Do you think you could make a patch for it?

jbech-linaro commented 5 years ago

Adding "bug" label so we can pick this up at some time later.

github-actions[bot] commented 2 years ago

This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.