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