/**
 * @file timerdrv.h
 * @deprecated
 */

#ifndef __timerdrv_h
#define __timerdrv_h
#ifndef RTEMS_NO_WARN_DEPRECATED
#warning <timerdrv.h> is deprecated, use <rtems/timerdrv.h> instead
#endif
#include <rtems/timerdrv.h>
#endif