src/arch/stm32f4-disco/arch_task.c
__attribute__((naked)) static void
_task_return_cb(void)
{
  nk_terminate();
}
/* This function is automatically called when a task returns from its entry
 * point */
This function is automatically called when a task returns from its entry
point
This function is automatically called when a task returns from its entry point
__attribute__((naked)) static void
_task_return_cb(void)
{
  nk_terminate();
}
__attribute__ ( ( naked ) ) static void _task_return_cb ( void ) { nk_terminate ( ) ; }
This function is automatically called when a task returns from its entry
 point
This function is automatically called when a task returns from its entry point