rdtsc_fenced - Haiku

Symbol: rdtsc_fenced

src/system/boot/arch/x86/arch_cpu.cpp

uint64 startTSC = rdtsc_fenced();

src/system/boot/arch/x86/arch_cpu.cpp

uint64 endTSC = rdtsc_fenced();

src/system/boot/arch/x86/arch_cpu.cpp

uint64 tsc = rdtsc_fenced();