#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