1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2014 - 2015 Xilinx, Inc.
4  * Michal Simek <michal.simek@xilinx.com>
5  */
6 
7 #ifndef _ASM_ARCH_CLK_H_
8 #define _ASM_ARCH_CLK_H_
9 
10 unsigned long zynqmp_get_system_timer_freq(void);
11 
12 #endif /* _ASM_ARCH_CLK_H_ */
13