src/arch/arm/clock.c

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