/*
 * Copyright (c) 2020, MediaTek Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef _MTK_TIMER_H_
#define _MTK_TIMER_H_

void mtk_timer_init(void);

#endif /* _MTK_TIMER_H_ */
