/* Get available stack space of a thread based on stack watermark recording during execution.  */
uint32_t osThreadGetStackSpace(osThreadId_t thread_id)
/* Get available stack space of a thread based on stack watermark recording during execution.  */
uint32_t osThreadGetStackSpace(osThreadId_t thread_id)
{
    EvrRtxThreadGetStackSpace(thread_id, 0U);
    stack_space = 0U;
  } else {
    stack_space = __svcThreadGetStackSpace(thread_id);
  }
  return stack_space;
}