/**
 * @file tpl_debug.c
 *
 * @section descr File description
 *
 * Various functions for Debugging on Workstation (DoW) purpose.
 *
 * @section copyright Copyright
 *
 * Trampoline OS
 *
 * Trampoline is copyright (c) IRCCyN 2005+
 * Copyright ESEO for function and data structures documentation
 * Trampoline is protected by the French intellectual property law.
 *
 * This software is distributed under the Lesser GNU Public Licence
 *
 * @section infos File informations
 *
 * $Date$
 * $Rev$
 * $Author$
 * $URL$
 *
 */

#include "tpl_debug.h"
#include "tpl_os_resource_kernel.h"
#include "tpl_os_multicore_macros.h"
#include <stdio.h>

#define OS_START_SEC_CODE
#include "tpl_memmap.h"
FUNC(void, OS_CODE)
  print_counter(CONSTP2VAR(tpl_counter, AUTOMATIC, OS_CONST) c)
{
#ifdef WITH_DOW /* not all ports have an stdc */
  tpl_time_obj *t = c->first_to;
  
  printf("counter (ticks_per_base=%d, max_allowed_value=%d, min_cycle=%d)\n",
         (int)c->ticks_per_base,
         (int)c->max_allowed_value,
         (int)c->min_cycle);
  printf("    current_tick=%d, current_date=%d\n",
         (int)c->current_tick,
         (int)c->current_date);
  
  while (t != NULL) {
    printf("        date=%lu\n",(uint32)(t->date));
    t = t->next_to;
  }
#endif /* defined WITH_DOW */
}

FUNC(void, OS_CODE)
  print_rez(CONST(tpl_resource_id, AUTOMATIC) rez_id)
{
  GET_CURRENT_CORE_ID(core_id)
#ifdef WITH_DOW /* not all ports have an stdc */
  printf("resource %d (ceiling_prio=%d, owner_prio=%d)\n",
         rez_id,
         TPL_RESOURCE_TABLE(core_id)[rez_id]->ceiling_priority,
         TPL_RESOURCE_TABLE(core_id)[rez_id]->owner_prev_priority);
  printf("    owner=%d\n",TPL_RESOURCE_TABLE(core_id)[rez_id]->owner);
#endif /* defined WITH_DOW */
}

#define OS_STOP_SEC_CODE
#include "tpl_memmap.h"

/* End of file tpl_debug.c */