1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2018  Cisco Systems, Inc.
4  *
5  * Author: Thomas Fitzsimmons <fitzsim@fitzsim.org>
6  */
7 
8 #ifndef _BCMSTB_TIMER_H
9 #define _BCMSTB_TIMER_H
10 
11 unsigned long timer_read_counter(void);
12 
13 #endif /* _BCMSTB_TIMER_H */
14