/* 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 */