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