add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

1
2
3
4
5
6
7
8
9
10
11
12
13
// SPDX-License-Identifier: GPL-2.0
#include <linux/types.h>
 
#include "../../../util/tsc.h"
 
u64 rdtsc(void)
{
    unsigned int low, high;
 
    asm volatile("rdtsc" : "=a" (low), "=d" (high));
 
    return low | ((u64)high) << 32;
}