/* util.c */

/*
 *   RTXC Quadros Version 1.0
 *   Copyright (c) 1999-2003
 *   Quadros Systems, Inc.
 *   ALL RIGHTS RESERVED
 *
 *   THE INFORMATION HEREIN IS CONFIDENTIAL AND PROPRIETARY.
 *   UNAUTHORIZED DISCLOSURE OR DISTRIBUTION IS PROHIBITED.
 *
*/

#include "rtxcapi.h"
#include "rtxcuart.h"
#include "kthread.h"
#include "util.h"


/*
 * These stubs are used to prevent pulling in some
 * standard libraries.  The library versions of
 * these functions should be used when working with
 * C++ code, as they handle constructors and destructors.
*/
void atexit(void) {}
void __main(void) {}
void exit(void) { while(1); }


void printl(const char *buffer)
{
   while (*buffer != '\0') /* loop till end of string */
   {
      if(*buffer == '\n')
         rtxcss_uart_tx('\r');
      rtxcss_uart_tx(*buffer++);
   }
}

void print_thread_id_message(void)
{
   printl("Thread: ");

   switch(TS_GetThreadID())
   {
      case THREAD1:
         printl("THREAD1");
         break;
      case THREAD2:
         printl("THREAD2");
         break;
      case THREAD3:
         printl("THREAD3");
         break;
      default:
         printl("Unknown");
         break;
   }
}

void print_state_message(unsigned int state)
{
   if(state < 10)
   {
      printl("  State: ");
      rtxcss_uart_tx('0' + state);
      rtxcss_uart_tx('\r');
      rtxcss_uart_tx('\n');
   }
}

/* end of file - util.c */