1 /* SPDX-License-Identifier: BSD-3-Clause */ 2 3 #include <stdint.h> 4 #include <arch/clock.h> 5 set_cntfrq(uint32_t freq)6 void set_cntfrq(uint32_t freq) 7 { 8 __asm__ __volatile__("mcr p15, 0, %0, c14, c0, 0\n" :: "r"(freq)); 9 } 10