arm64的sched_clock在哪里

Question

我试图找到arm64的sched_clock定义，但找不到它，在哪里以及如何实现。

例如，对于x86，以下是定义的位置

 #ifdef CONFIG_PARAVIRT
 unsigned long long sched_clock(void)
 {
     return paravirt_sched_clock();
 }
 #else
 unsigned long long
 sched_clock(void) __attribute__((alias("native_sched_clock")));
 #endif

相同的方式是为其他archtectitures定义。

任何人都可以指出arm64如何实现它？