/* Current system time. 
Returns the number of system ticks since the  */
systime_t osalOsGetSystemTimeX(void)
/* Current system time. 
Returns the number of system ticks since the  */
systime_t osalOsGetSystemTimeX(void)
{
    return (systime_t)tx_time_get();
}