Fix timestamp arm64

Fix timestamp arm64
This commit is contained in:
Andy Vandijck 2024-02-17 11:22:03 +01:00
parent ab46158f05
commit 6332900833
1 changed files with 18 additions and 0 deletions

View File

@ -19,12 +19,30 @@
#include <intrin.h> #include <intrin.h>
#pragma intrinsic(__rdtsc) #pragma intrinsic(__rdtsc)
#else #else
#if defined(__x86_64_) || defined(__i386__)
#include <x86intrin.h> #include <x86intrin.h>
#endif #endif
#endif
static uint64_t rdtsc() static uint64_t rdtsc()
{ {
#if defined(__arm64__) || defined(__arm__)
// SPDX-License-Identifier: GPL-2.0
uint64_t val = 0;
/*
* According to ARM DDI 0487F.c, from Armv8.0 to Armv8.5 inclusive, the
* system counter is at least 56 bits wide; from Armv8.6, the counter
* must be 64 bits wide. So the system counter could be less than 64
* bits wide and it is attributed with the flag 'cap_user_time_short'
* is true.
*/
asm volatile("mrs %0, cntvct_el0" : "=r" (val));
return val;
#else
return __rdtsc(); return __rdtsc();
#endif
} }
#endif #endif