source: mypx/target/dummy_gcc/target_timer.cfg @ 7

/*
 *  $Id$
 */

/*
 *              ¥¿¥€¥Þ¥É¥é¥€¥Ð¡Ê¥À¥ß¡Œ¥¿¡Œ¥²¥Ã¥ÈÍѡˀΥ³¥ó¥Õ¥£¥®¥å¥ì¡Œ¥·¥ç¥ó¥Õ¥¡¥€¥ë
 */

#include "target_timer.h"
ATT_INI({ TA_NULL, 0, target_timer_initialize });
ATT_TER({ TA_NULL, 0, target_timer_terminate });
CFG_INT(INTNO_TIMER, { TA_ENAINT | INTATR_TIMER, INTPRI_TIMER });
DEF_INH(INHNO_TIMER, { TA_NULL, target_timer_handler });

#ifdef TOPPERS_SUPPORT_OVRHDR
ATT_INI({ TA_NULL, 0, target_ovrtimer_initialize });
ATT_TER({ TA_NULL, 0, target_ovrtimer_terminate });
#endif /* TOPPERS_SUPPORT_OVRHDR */