1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __ARM_CLOCK_H_ 4 #define __ARM_CLOCK_H_ 5 6 #include <types.h> 7 8 void set_cntfrq(uint32_t); 9 10 #endif /* __ARM_CLOCK_H_ */ 11