Timer of A53 runs continuously and the time can not be set as desired.
This API doesn't contain anything. It is defined to have uniformity across platforms.
void XTime_SetTime(XTime Xtime_Global);
The following table lists the
XTime_SetTime function arguments.
|Xtime_Global||64bit value to be written to the physical timer counter register. Since API does not do anything, the value is not utilized.|