Hi Durga,
No, NXP Kinetis SDK hasn't such a function. But I think this is not a big problem. HAL_Delay use Systick to count time. It looks like
__weak void HAL_Delay(__IO uint32_t Delay)
{
uint32_t tickstart = 0;
tickstart = HAL_GetTick();
while((HAL_GetTick() - tickstart) < Delay)
{
}
}
You can do it by yourself.
Regards,
Jing