Updated PCI IDs to latest snapshot.
[tangerine.git] / arch / ppc-sam440 / timer / lowlevel.h
blobf486ae0c9451645623596c3db59809f8b461aacc
1 #ifndef LOWLEVEL_H_
2 #define LOWLEVEL_H_
4 #include <inttypes.h>
5 #include "timer_intern.h"
7 void EClockUpdate(struct TimerBase *TimerBase);
8 void EClockSet(struct TimerBase *TimerBase);
9 void TimerSetup(struct TimerBase *TimerBase, uint32_t waste);
11 #endif /*LOWLEVEL_H_*/