1 // SPDX-License-Identifier: GPL-2.0 1
2
3 #include <linux/types.h>
4
5 #include "../../../util/tsc.h"
6
7 u64 rdtsc(void)
8 {
9 u64 val;
10
11 /*
12 * According to ARM DDI 0487F.c, from
13 * system counter is at least 56 bits
14 * must be 64 bits wide. So the syste
15 * bits wide and it is attributed with
16 * is true.
17 */
18 asm volatile("mrs %0, cntvct_el0" : "=
19
20 return val;
21 }
22
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.