coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
clock.c
Go to the documentation of this file.
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 }
set_cntfrq
void set_cntfrq(uint32_t freq)
Definition: clock.c:6
uint32_t
unsigned int uint32_t
Definition: stdint.h:14
freq
Definition: dw_i2c.c:39