Symbol: cp15_cntpct_get
lib/libsys/aarch64/__vdso_gettc.c
63
*tc = th->th_physical == 0 ? cp15_cntvct_get() : cp15_cntpct_get();
lib/libsys/arm/__vdso_gettc.c
67
*tc = th->th_physical == 0 ? cp15_cntvct_get() : cp15_cntpct_get();
sys/arm/include/cpu.h
292
_R64F0(cp15_cntpct_get, CP15_CNTPCT(%Q0, %R0))
sys/arm64/linux/linux_vdso_gtod.c
144
*tc = th->th_physical == 0 ? cp15_cntvct_get() : cp15_cntpct_get();