blob: 4d43789d7ddaa448ee35836080301008df959b00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// Copyright 2010 Segher Boessenkool <segher@kernel.crashing.org>
// Licensed under the terms of the GNU GPL, version 2
// http://www.gnu.org/licenses/old-licenses/gpl-2.0.txt
#ifndef _TIMER_H
#define _TIMER_H
#include "types.h"
extern volatile u32 timer_triggered;
void timer_init(void);
void timer_set(void);
#endif
|