【Raspberry Pi】ラズベリー・パイ part60【Arm】

Cortex A-72でタイムスタンプカウンタってないの?
amd64で以下のように書いている関数を移植したいんだけども

uint64_t
rdtsc64 ()
{
uint64_t result;
uint32_t edx, eax;
__asm__ __volatile__ ("rdtsc" : "=a"(eax), "=d"(edx));
result = edx;
result <<= 32;
result |= eax;
return result;
}