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