The OSA_TimeGetMsec and OSA_TimeDelay functions do not seem to work for K64F board using KSD 1.2. Is there a bug with the functions or is there somethingI am missing to get it working ?