/** \file timer12.h */ 
#if !defined(TIMER12_H__2923006F_3CBC_45ED_8A7D_C04AC01E9281__INCLUDED_)
#define TIMER12_H__2923006F_3CBC_45ED_8A7D_C04AC01E9281__INCLUDED_

#include "define.h"
#include "board_config.h"

typedef void (*TIMER_CALLBACK)(void);

void Timer12_Initialization(void);
void Timer12_Set_Match_Interrupt_Callback(TIMER_CALLBACK Callback);

#endif