#ifndef _KERN_TIMER_H
#define _KERN_TIMER_H

#include "omap_timer.h"

#endif