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