/*
 * Copyright (c) 2012 embedded brains GmbH & Co. KG
 *
 * The license and distribution terms for this file may be
 * found in the file LICENSE in this distribution or at
 * http://www.rtems.org/license/LICENSE.
 */

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

#include <rtems/score/cpu.h>

void _CPU_Exception_frame_print( const CPU_Exception_frame *frame )
{
  /* TODO */
}