cp15_cntvct_get
*tc = th->th_physical == 0 ? cp15_cntvct_get() : cp15_cntpct_get();
*tc = th->th_physical == 0 ? cp15_cntvct_get() : cp15_cntpct_get();
_R64F0(cp15_cntvct_get, CP15_CNTVCT(%Q0, %R0))
*tc = th->th_physical == 0 ? cp15_cntvct_get() : cp15_cntpct_get();