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