1 /*
2  * Copyright (c) 2013, Google Inc. All rights reserved.
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #ifndef __DEV_TIMER_ARM_GENERIC_H
9 #define __DEV_TIMER_ARM_GENERIC_H
10 
11 #include <sys/types.h>
12 
13 /* if freq_override != 0, use that as the operating frequency instead of CNTFRQ register */
14 void arm_generic_timer_init(int irq, uint32_t freq_override);
15 
16 #endif
17 
18