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